https://github.com/kavrakilab/optic
OPTIC Solver from KCL, for modern build systems
https://github.com/kavrakilab/optic
Last synced: 4 months ago
JSON representation
OPTIC Solver from KCL, for modern build systems
- Host: GitHub
- URL: https://github.com/kavrakilab/optic
- Owner: KavrakiLab
- License: gpl-2.0
- Created: 2023-11-05T20:39:19.000Z (over 2 years ago)
- Default Branch: master
- Last Pushed: 2023-11-05T20:57:18.000Z (over 2 years ago)
- Last Synced: 2023-11-05T21:33:20.565Z (over 2 years ago)
- Language: C++
- Size: 0 Bytes
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# 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`:
```sh
# 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:
```sh
./build/src/optic/optic-clp domain.pddl problem.pddl
```
See [README.old](README.old) for some other solver details.