1. CSPLib
  2. Problems
  3. prob044
  4. Models

044: Steiner triple systems

File Type Notes
steiner.lp4 ASP Gringo 4
steiner_bp.pl B-Prolog
steiner_sets.co Comet
steiner_triplets.co Comet
steiner.essence Essence
steiner.mzn MiniZinc
steiner.pi Picat
steiner_sicstus.pl SICStus Prolog