Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
comb-4-3.txt 2018-01-07 14:32 184
![[ ]](/icons/unknown.gif){kind=icon}
comb.mzn 2019-01-08 16:12 174
![[ ]](/icons/compressed.gif){kind=icon}
h00.zip 2020-01-09 16:46 2.4K
perm-3-3.txt 2018-01-07 14:29 270
perm-N-R.mzn 2020-01-09 16:39 121
perm.mzn 2020-01-09 16:36 49
perm0.mzn 2020-01-09 16:32 27
perm1.mzn 2020-01-09 16:34 57
perm2.mzn 2020-01-09 16:34 81
perm3.mzn 2020-01-09 16:35 112
permN.mzn 2020-01-09 16:36 175
readme.txt 2020-01-09 16:45 747
trace.txt 2019-01-08 15:48 812