/optic

OPTIC Solver from KCL, for modern build systems

Primary LanguageC++GNU General Public License v2.0GPL-2.0

OPTIC: Optimising Preferences and Time-Dependent Costs

https://nms.kcl.ac.uk/planning/software/optic.html

Modernized OPTIC to build out-of-the-box. Some small modifications to the build system and source have been done.

Dependencies & How to Build

Simply build with CMake:

# I recommend the ninja build system
cmake -Bbuild -GNinja .
cmake --build build

You will need the following dependencies:

  • CMake for building
  • Flex/Bison for parsing
  • COIN-OR OSI, CLP, CBC, and CoinUtils
  • GNU Scientific Library (GSL)

How to Run

By default, the optic-clp solver will be built. From the top-level directory, it can be run (given a domain and problem .pddl file) with:

./build/src/optic/optic-clp domain.pddl problem.pddl

See README.old for some other solver details.