lperron@google.com
|
5f957a4f69
|
rename unused luby_restart to minisat_luby_restart, luby_factor to luby_restart
|
2012-08-13 15:39:34 +00:00 |
|
lperron@google.com
|
a4dced3a23
|
first stab at exploiting backjump
|
2012-07-13 23:11:11 +00:00 |
|
lperron@google.com
|
0f617d897d
|
tuning of minisat connection
|
2012-07-13 19:47:01 +00:00 |
|
lperron@google.com
|
b6fa538a13
|
more work on minisat integration
|
2012-07-13 16:07:03 +00:00 |
|
lperron@google.com
|
644b102507
|
compilation fix on windows
|
2012-07-13 14:26:00 +00:00 |
|
lperron@google.com
|
247420b237
|
working incremental connection with minisat
|
2012-07-13 00:12:51 +00:00 |
|
lperron@google.com
|
5309662b7f
|
fix
|
2012-07-11 22:40:36 +00:00 |
|
lperron@google.com
|
15fb1447a4
|
first successful integration of minisat inside or-tools
|
2012-07-11 22:20:07 +00:00 |
|
lperron@google.com
|
99e7b03c19
|
reindent code
|
2012-07-11 20:36:37 +00:00 |
|
lperron@google.com
|
c8d21da49e
|
more integration with the minisat
|
2012-07-11 18:00:57 +00:00 |
|
lperron@google.com
|
b8e07d5652
|
port on windows
|
2012-07-11 04:48:13 +00:00 |
|
lperron@google.com
|
4050323256
|
port on windows
|
2012-07-11 04:44:31 +00:00 |
|
lperron@google.com
|
67d1c4ffaa
|
port on windows
|
2012-07-11 04:38:28 +00:00 |
|
lperron@google.com
|
adc15ef900
|
simplify dead code; reindent minisat
|
2012-07-11 00:20:32 +00:00 |
|
lperron@google.com
|
c9b7215225
|
fix
|
2012-07-10 23:45:22 +00:00 |
|
lperron@google.com
|
88f8c57ddc
|
fix
|
2012-07-10 23:41:30 +00:00 |
|
lperron@google.com
|
d34e964fa0
|
include stripped version of minisat
|
2012-07-10 23:40:22 +00:00 |
|
lperron@google.com
|
500cac1ec5
|
add multi-threading tools
|
2012-03-30 16:04:42 +00:00 |
|
laurent.perron@gmail.com
|
35f3156174
|
upgrade to zlib 1.2.6
|
2012-02-11 00:25:53 +00:00 |
|
lperron@google.com
|
a1ec8febfe
|
more swig rename rules for java; change IntExpr::Var() into IntExpr::var() on java; add IntVar::AddName() method to add a name after a Var() method
|
2012-01-21 16:13:17 +00:00 |
|
laurent.perron@gmail.com
|
aa466e5ea2
|
make third_party on windows
|
2012-01-02 21:12:59 +00:00 |
|