Picat Solutions for AIPS'02 Problem Domains

(also see Picat solutions for IPC'14)



Benchmark Picat PDDL Status
Depots depots.pi depots.pddl Improving
Driverlog driverlog.pi driverlog.pddl Improving
Rovers rovers.pi rovers.pddl Improving
Satellite satellite.pi satellite.pddl Improving
Zenotravel zenotravel.pi zenotravel.pddl Improving