Corentin Le Molgat
|
c76a9a424a
|
backport example/ from main
|
2024-05-30 10:51:54 +02:00 |
|
Laurent Perron
|
dab95aa0a3
|
fix flatzinc to follow the latest minizinc naming scheme for constraints
|
2020-09-29 11:53:15 +02:00 |
|
Laurent Perron
|
d625b21aed
|
another failing flatzinc example
|
2016-07-25 12:44:31 -07:00 |
|
Laurent Perron
|
90ec506c80
|
segfaulting flatzinc example
|
2016-07-25 12:27:34 -07:00 |
|
Laurent Perron
|
cd2d17df93
|
support regular_nfa
|
2015-07-13 16:45:46 -07:00 |
|
laurent.perron@gmail.com
|
33c62d6027
|
extract array_bool_or, fix obsolete count predicate
|
2014-05-02 21:05:16 +00:00 |
|
laurent.perron@gmail.com
|
d44008b302
|
first version of diffn constraint
|
2013-07-05 15:19:52 +00:00 |
|
lperron@google.com
|
d404365e06
|
one more example
|
2012-09-07 19:32:03 +00:00 |
|
lperron@google.com
|
85e4fc1374
|
simple reverse example of assignment in free variables
|
2012-09-05 20:19:05 +00:00 |
|
lperron@google.com
|
9593879f84
|
corrected examples
|
2012-09-05 15:50:45 +00:00 |
|
lperron@google.com
|
bb29603649
|
fix
|
2012-09-04 07:26:22 +00:00 |
|
lperron@google.com
|
062e8cba72
|
one more presolve rule, helps on debruijn_mike_winter2
|
2012-09-03 19:39:43 +00:00 |
|
lperron@google.com
|
9d2a791457
|
expose helpers when reinforcing constraints, add README in flatzinc examples to recognize Hakan's contribution; clean up some factory code; recognize special case of distribute as all different
|
2012-09-03 19:14:18 +00:00 |
|
lperron@google.com
|
4cd23fbdfc
|
commit plenty of fzn examples
|
2012-09-03 18:26:36 +00:00 |
|
lperron@google.com
|
63b9fcc4e9
|
global cardinality variations
|
2012-09-03 17:45:47 +00:00 |
|
lperron@google.com
|
0485846869
|
new examples
|
2012-09-03 14:58:24 +00:00 |
|
lperron@google.com
|
a6cb36405c
|
add heuristic period parameter for free flatzinc search; add failing example
|
2012-08-12 18:06:28 +00:00 |
|
lperron@google.com
|
d6ca48cab3
|
fix interesting bug, if you restart a search in the final proof phase of an optimization problem, you called optimizevar->ApplyBound() outside of the try/catch, and thus loop indefinitely
|
2012-08-12 10:53:38 +00:00 |
|
lperron@google.com
|
9d92dbeac2
|
example that shows the bug in nogoods
|
2012-08-08 23:01:13 +00:00 |
|
lperron@google.com
|
7a62a28e31
|
restore previous search
|
2012-08-04 16:16:53 +00:00 |
|
lperron@google.com
|
0c3b085e34
|
fix for aliases simplification
|
2012-08-04 15:55:49 +00:00 |
|
lperron@google.com
|
c18610de2d
|
slow problem
|
2012-07-07 05:49:15 +00:00 |
|
lperron@google.com
|
1502308bda
|
crashing example
|
2012-07-07 05:47:28 +00:00 |
|
lperron@google.com
|
65b223bef0
|
more examples
|
2012-07-06 22:28:03 +00:00 |
|
lperron@google.com
|
f5f34c8136
|
more examples
|
2012-07-06 16:00:05 +00:00 |
|
lperron@google.com
|
e51714fcea
|
more examples
|
2012-07-06 09:33:49 +00:00 |
|
lperron@google.com
|
aeac7d7a24
|
fix stupid crash
|
2012-07-06 09:20:40 +00:00 |
|
lperron@google.com
|
e0170fc18d
|
more simplifications
|
2012-07-05 14:22:07 +00:00 |
|
lperron@google.com
|
9335c7f8d2
|
more examples
|
2012-07-05 13:43:18 +00:00 |
|
lperron@google.com
|
3a75e2f5db
|
one more slow example
|
2012-07-04 22:17:39 +00:00 |
|
lperron@google.com
|
44a6861712
|
more examples
|
2012-07-04 22:13:29 +00:00 |
|
lperron@google.com
|
1310c1eab8
|
more examples
|
2012-06-30 21:50:46 +00:00 |
|
lperron@google.com
|
6f7079ad85
|
more examples
|
2012-06-29 18:12:01 +00:00 |
|
lperron@google.com
|
45eab827fb
|
small improvements and new problems
|
2012-06-29 05:44:36 +00:00 |
|
lperron@google.com
|
3313aca838
|
speed up IsDifferentVar
|
2012-06-29 05:23:58 +00:00 |
|
lperron@google.com
|
8284956154
|
more problematic examples
|
2012-06-28 22:03:40 +00:00 |
|
lperron@google.com
|
65dc42b859
|
one more problem
|
2012-06-28 13:31:54 +00:00 |
|
lperron@google.com
|
8a26929d55
|
misc improvements
|
2012-06-26 15:40:19 +00:00 |
|
lperron@google.com
|
ca0dcbccdf
|
more examples
|
2012-06-25 18:22:01 +00:00 |
|
lperron@google.com
|
d310db4480
|
more problems
|
2012-06-22 21:13:50 +00:00 |
|
lperron@google.com
|
3cf53407d2
|
first stab on occurrence search strategy; Use when bound all diff for large domains
|
2012-06-20 22:15:37 +00:00 |
|
lperron@google.com
|
0ac45cf305
|
another problematic example
|
2012-06-19 21:11:57 +00:00 |
|
lperron@google.com
|
c35e4416fc
|
MakePower, automatic building from square and product, much better at solving cube_sum
|
2012-06-19 15:24:32 +00:00 |
|
lperron@google.com
|
671ff5186b
|
more problems
|
2012-06-19 08:44:52 +00:00 |
|
lperron@google.com
|
2c6973fc94
|
more problems
|
2012-06-18 22:53:41 +00:00 |
|
lperron@google.com
|
0c695e7e15
|
More examples
|
2012-06-18 20:02:58 +00:00 |
|
lperron@google.com
|
8405af7112
|
another problematic example
|
2012-06-17 21:18:12 +00:00 |
|
lperron@google.com
|
1deac8352b
|
more work on set variables, no constraints
|
2012-06-17 21:15:38 +00:00 |
|
lperron@google.com
|
a0e50bdce2
|
another problematic example
|
2012-06-17 06:12:14 +00:00 |
|
lperron@google.com
|
de0fc811dd
|
fix var / value; should be rounded towards 0
|
2012-06-16 18:17:27 +00:00 |
|