Planner is a simple library to ease the implementation of planning as satisfiability ad-hoc planners.
This library is a planning as satisfiability abstraction of internal of the project Snowman-Editor. An example of its ussage can be found in the Sokoban-Editor.
- Codify satisfiability problems without specifying the end language.
- Support sequential search.
Languages supported:
- SMTLib2
Solvers supported:
- Yices 2 (through command line).