GitHub / ratiosolver 2 projects

ratioSolver

Updated 9 months ago

Plan Executor and Adaptor (PlExA)

plan-adaptation plan-execution

Updated 9 months ago

oRatio is an Integrated Logic and Constraint based solver

automated-planning constraint-logic-programming constraint-programming logic-programming timeline-based-planning

ecosyste.ms