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