File | Type | Notes |
---|---|---|
ilog.c | c | |
list.lisp | lisp | |
dimacs.lisp | lisp | |
quasiGroup4NonIdempotent.mzn | MiniZinc | |
quasiGroup7.mzn | MiniZinc | |
quasiGroup3NonIdempotent.mzn | MiniZinc | |
quasiGroup4Idempotent.mzn | MiniZinc | |
quasiGroup5Idempotent.mzn | MiniZinc | |
quasiGroup5NonIdempotent.mzn | MiniZinc | |
quasiGroup3Idempotent.mzn | MiniZinc | |
description.txt | txt |