Picat Solutions for IPC'14 Problem Domains

(also see Picat solutions for AIPS'02)



Benchmark Picat PDDL Status
Barman barman.pi barman.pddl Improving
Cavediving cavediving.pi cavediving.pddl Improving
ChildSnack childsnack.pi childsnack.pddl Improving
Citycar citycar.pi citycar.pddl Improving
Floortile floortile.pi floortile.pddl Improving
GED ged.pi ged.pddl Improving
Hiking hiking.pi hiking.pddl Pending
Maintenance maintenance.pi maintenance.pddl Improving
Openstacks openstacks.pi openstacks.pddl Pending
Parking parking.pi parking.pddl Improving
Tetris tetris.pi tetris.pddl Improving
Tidybot tidybot.pi tidybot.pddl Pending
Transport transport.pi transport.pddl Improving
Visitall visitall.pi visitall.pddl Improving