Registered
by
Tomas Balyo
freeLunch is a Java library for planning, which takes input in the multivalued SAS+ formalism and produces optimal parallel plans. Currently the planning is done via reduction to satisfiability (using an encoding similar to SASE) and using Sat4J to solve the SAT part. Later we plan to add more algorithms (also non optimal ones) to create a portfolio of planning algorithms. Future plans include adding temporal actions, temporal predicates, resources, and planning modulo theories.
View full history Series and milestones
Loading graph...
trunk series is the current focus of development.
All bugs Latest bugs reported
All blueprints Latest blueprints
-
Move logisticsProblemGenerator and SlidingPuzzleGenerators to becnhmark package and comply with standards
Registered -
Implement a MCTS solver
Registered -
Create example/tutorial usages of the API
Registered -
Create a project website
Registered -
Design and implement a lifted multivalued planning problem defintion API
Registered