This work is licensed under a Creative Commons Attribution 4.0 International License. | File | Type | Notes |
|---|---|---|
| steiner.lp4 | ASP Gringo 4 | |
| steiner_bp.pl | B-Prolog | |
| steiner_triplets.co | Comet | |
| steiner_sets.co | Comet | |
| steiner.essence | Essence | |
| steiner.mzn | MiniZinc | |
| steiner.pi | Picat | |
| steiner_sicstus.pl | SICStus Prolog |
This work is licensed under a Creative Commons Attribution 4.0 International License.