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.

Project information

Maintainer:
FL team
Driver:
FL team
Licence:
GNU LGPL v3

RDF metadata

View full history Series and milestones

trunk series is the current focus of development.

All code Code

Version control system:
Bazaar
Programming languages:
Java

Get Involved

Downloads

freeLunch does not have any download files registered with Launchpad.

Announcements