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