CSPLib
Problems
prob014
Models
014: Solitaire Battleships
Specification
Data files
Results
References
Models
Cite
Edit Page
File
Type
Notes
sb.mzn
MiniZinc
sicstus_csplib014.pl
SICStus Prolog
This work is licensed under a Creative Commons Attribution 4.0 International License. This work is licensed under a Creative Commons Attribution 4.0 International License.