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