always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

more problems

Browse Source
This commit is contained in:
lperron@google.com
2012-06-18 22:53:41 +00:00
parent 457a647c9d
commit 2c6973fc94
3 changed files with 4945 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
examples/flatzinc/buckets.fzn
View File

@@ -383,4 +383,4 @@ constraint int_plus(INT____00007, bins[4], bins[1]) :: defines_var(INT____00007)
constraint int_plus(INT____00011, bins[3], bins[2]) :: defines_var(INT____00011);
constraint int_plus(INT____00013, bins[4], bins[2]) :: defines_var(INT____00013);
constraint int_plus(INT____00019, bins[4], bins[3]) :: defines_var(INT____00019);
solve :: int_search(bins, first_fail, indomain_min, complete) minimize INT____00001;
solve :: int_search(x, first_fail, indomain_min, complete) minimize INT____00001;

2051
examples/flatzinc/enigma_843.fzn Normal file
View File

File diff suppressed because it is too large Load Diff

2893
examples/flatzinc/n_puzzle_table.fzn Normal file
View File

File diff suppressed because it is too large Load Diff