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 | |
sicstus_csplib044.pl | SICStus Prolog |