CSPlib
Problems
prob044
Models
044: Steiner triple systems
Specification
Data files
Results
References
Models
Cite
Edit Page
File
Type
Notes
steiner.lp4
ASP Gringo 4
steiner_triplets.co
Comet
steiner_sicstus.pl
SICStus Prolog
steiner.pi
Picat
steiner_bp.pl
B-Prolog
steiner_sets.co
Comet
steiner.mzn
MiniZinc