lperron@google.com
|
92623aa92c
|
bump cbc version to 2.7.7
|
2012-07-09 23:14:17 +00:00 |
|
lperron@google.com
|
6a73ecd507
|
add operator[] to vectormap
|
2012-07-09 23:13:38 +00:00 |
|
lperron@google.com
|
6a9c04f7ce
|
unfinished boolean propagator
|
2012-07-09 14:59:09 +00:00 |
|
lperron@google.com
|
98843c3c28
|
unfinished boolean propagator
|
2012-07-09 14:59:01 +00:00 |
|
lperron@google.com
|
2f2507c4a3
|
unfinished boolean propagator
|
2012-07-09 14:51:34 +00:00 |
|
lperron@google.com
|
7d736307a7
|
minor presolve rule
|
2012-07-07 06:56:30 +00:00 |
|
lperron@google.com
|
33b5ec7e4d
|
more presolve rules; hopefully correct
|
2012-07-07 06:18:57 +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
|
d344298504
|
fix crashes, don't code late at night
|
2012-07-07 05:47:00 +00:00 |
|
lperron@google.com
|
ff6f7d6905
|
do not create intermediate variables in a1 * x1 + b == a2 * x2 + b2 * x2
|
2012-07-06 22:33:12 +00:00 |
|
lperron@google.com
|
65b223bef0
|
more examples
|
2012-07-06 22:28:03 +00:00 |
|
lperron@google.com
|
152936886a
|
better extraction of array_bool_or of size 2
|
2012-07-06 21:52:45 +00:00 |
|
lperron@google.com
|
83aede51c3
|
more work on removing intermediate IntVar
|
2012-07-06 21:16:48 +00:00 |
|
lperron@google.com
|
6060378af5
|
cosmetic improvement to extraction, should have no influence
|
2012-07-06 21:09:42 +00:00 |
|
lperron@google.com
|
8c221c5817
|
cosmetic improvement to extraction, should have no influence
|
2012-07-06 21:07:44 +00:00 |
|
lperron@google.com
|
666a075963
|
simplify sum (ai * bi) >= 1 for bi booleans, ai >= 0; Move transformation of le to ge into presolve mode
|
2012-07-06 19:59:47 +00:00 |
|
lperron@google.com
|
f2759c1cb9
|
simplify sum (ai * bi) >= 1 for bi booleans, ai >= 0; Move transformation of le to ge into presolve mode
|
2012-07-06 19:58:21 +00:00 |
|
lperron@google.com
|
f5f34c8136
|
more examples
|
2012-07-06 16:00:05 +00:00 |
|
lperron@google.com
|
d847d36156
|
small improvement
|
2012-07-06 15:59:16 +00:00 |
|
lperron@google.com
|
04d93dd1c8
|
more simplifications
|
2012-07-06 14:05:06 +00:00 |
|
lperron@google.com
|
1652b380ad
|
speedup kqueens
|
2012-07-06 13:49:59 +00:00 |
|
lperron@google.com
|
c11a07b6b6
|
speedup kqueens
|
2012-07-06 13:47:48 +00:00 |
|
lperron@google.com
|
e9fee7346d
|
update parser files for windows
|
2012-07-06 13:35:42 +00:00 |
|
lperron@google.com
|
0d421c110d
|
fix unsats
|
2012-07-06 12:03:37 +00:00 |
|
lperron@google.com
|
f88819e9b9
|
fix crash
|
2012-07-06 11:58:08 +00:00 |
|
lperron@google.com
|
afa2249ab5
|
array bool or and array bool and should always create a var
|
2012-07-06 10:08:57 +00:00 |
|
lperron@google.com
|
952cdfd87b
|
recognize int_lin_ge_reif disguised as int_lin_le_reif
|
2012-07-06 09:34:28 +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
|
856bfaafdb
|
fix slowdown. remove IntExprArrayElement expression
|
2012-07-06 09:15:51 +00:00 |
|
lperron@google.com
|
af4e2e2b48
|
misc
|
2012-07-06 07:24:41 +00:00 |
|
lperron@google.com
|
d30ef60505
|
fix
|
2012-07-05 16:29:56 +00:00 |
|
lperron@google.com
|
40dbb60d23
|
chage all ==, >=... API to use IntExpr, except the last term of IsXXX which is always an IntVar
|
2012-07-05 16:27:57 +00:00 |
|
lperron@google.com
|
1d2dfae7ac
|
backtrack domain propagation on equality
|
2012-07-05 14:36:19 +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
|
6d8cad87a2
|
model simplifications
|
2012-07-05 13:43:02 +00:00 |
|
lperron@google.com
|
fcccdbdf22
|
model simplifications
|
2012-07-05 13:27:16 +00:00 |
|
lperron@google.com
|
999be2637b
|
hook the right constraints
|
2012-07-05 12:54:25 +00:00 |
|
lperron@google.com
|
7262fc4c8c
|
rewire boolean sum eq
|
2012-07-05 10:51:07 +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
|
235e5432b8
|
speedup debruijn_mike_winter3
|
2012-07-04 22:05:58 +00:00 |
|
lperron@google.com
|
136f8e720c
|
fix
|
2012-07-04 16:43:11 +00:00 |
|
lperron@google.com
|
eed07b332c
|
fix
|
2012-07-04 16:13:43 +00:00 |
|
lperron@google.com
|
8c6ce1e5e8
|
add BoundWatcher on IntVar; change automatic naming of cast variables
|
2012-07-04 13:29:41 +00:00 |
|
lperron@google.com
|
9d8d97af23
|
improve reporting of times spent
|
2012-07-04 13:25:13 +00:00 |
|
lperron@google.com
|
ca39d814a2
|
do not transform int_lin_eq with domain annotation into a table if it only involves 2 variables
|
2012-07-04 08:52:51 +00:00 |
|
lperron@google.com
|
0d9185f8c8
|
detect IntVarElementArray where all variables are bound, simplify to IntElementArray
|
2012-07-04 08:24:36 +00:00 |
|