CSPLib
Problems
prob032
Models
032: Maximum density still life
Specification
Data files
Results
References
Models
Cite
Edit Page
File
Type
Notes
maximum_density_still_life_cp.co
Comet
maximum_density_still_life.mzn
MiniZinc
maximum_still_life.pi
Picat
sicstus_csplib032.pl
SICStus Prolog