File | Type | Notes |
---|---|---|
social_golfers1.pl | B-Prolog | |
social_golfers2.pl | B-Prolog | |
social_golfers1.mzn | MiniZinc | |
social_golfers2.pi | Picat | |
social_golfers1.pi | Picat | |
golf.pl | pl | eclispe model, originally from http://www.icparc.ic.ac.uk/eclipse/examples/golf.pl.txt |
AMPLmodel.txt | txt | an AMPL model and some remarks due to J. Walser |