This repository has been archived on 2025-03-06. You can view files and clone it, but cannot push or open issues or pull requests.

Jip J. Dekker 78e824a79f Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

2021-07-29 14:28:24 +10:00

..

benchmarking

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

2021-07-29 14:28:24 +10:00

distributions

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

2021-07-29 14:28:24 +10:00

dtrace

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

2021-07-29 14:28:24 +10:00

examples

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

2021-07-29 14:28:24 +10:00

scripts

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

2021-07-29 14:28:24 +10:00

unit/evaluation/minizinc

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

2021-07-29 14:28:24 +10:00

addSolver2Examples.sh

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

2021-07-29 14:28:24 +10:00

run-all.sh

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

2021-07-29 14:28:24 +10:00

sudoku_1_16x16.dzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

2021-07-29 14:28:24 +10:00

sudoku_2_16x16.dzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

2021-07-29 14:28:24 +10:00

sudoku_3_16x16.dzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

2021-07-29 14:28:24 +10:00

sudoku_4_16x16.dzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

2021-07-29 14:28:24 +10:00

sudoku_5_16x16.dzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

2021-07-29 14:28:24 +10:00

sudoku.mzn

Merge commit 'b5f0d6464213f428a3249fccf4ff11552e457fc1' as 'prototype'

2021-07-29 14:28:24 +10:00