CSPLib
Problems
prob001
Models
001: Car Sequencing
Specification
Data files
Results
References
Models
Cite
Edit Page
File
Type
Notes
car.pl
B-Prolog
car.co
Comet
prob001-CarSeq.essence
Essence
car.mzn
MiniZinc
car.pi
Picat