Vincent Furnon
|
81ea547330
|
Added missing dependency for solve binary.
|
2015-03-13 20:16:37 +01:00 |
|
Laurent Perron
|
353470592f
|
remove old_flatzinc code
|
2015-03-05 10:12:06 +01:00 |
|
Laurent Perron
|
69263d01d0
|
remove old_flatzinc code
|
2015-03-05 10:10:53 +01:00 |
|
Laurent Perron
|
94469b92ca
|
replace svnversion
|
2015-03-03 15:19:24 +01:00 |
|
lperron@google.com
|
916f1d7aae
|
small fixes everywhere
|
2015-02-17 13:23:59 +00:00 |
|
lperron@google.com
|
d75d220663
|
use SVNVERSION_SIMPLE when creating archives
|
2015-02-04 12:17:07 +00:00 |
|
lperron@google.com
|
4bd3c84756
|
update sat to latest version; move proto_tools from linear_solver to util
|
2015-02-03 10:47:21 +00:00 |
|
lperron@google.com
|
b959d5fa64
|
quadratic nqueen benchmarks
|
2015-01-28 07:28:53 +00:00 |
|
lperron@google.com
|
3a4c7cbbe5
|
fix dependencies
|
2015-01-16 18:34:28 +00:00 |
|
lperron@google.com
|
aff5c43f49
|
fix missing dependencies
|
2015-01-16 18:08:39 +00:00 |
|
lperron@google.com
|
1aaf2814d7
|
misc
|
2015-01-16 17:02:32 +00:00 |
|
lperron@google.com
|
4c4cfe9aa8
|
issue57 code
|
2014-12-29 22:07:49 +00:00 |
|
lperron@google.com
|
1ad0eb6b82
|
more thorough make clean
|
2014-12-28 10:31:23 +00:00 |
|
lperron@google.com
|
84d75834e6
|
more thorough make clean
|
2014-12-28 10:19:42 +00:00 |
|
lperron@google.com
|
55049dbc53
|
more thorough make clean
|
2014-12-28 10:14:13 +00:00 |
|
lperron@google.com
|
dcd5d5bcbc
|
more thorough make clean
|
2014-12-28 10:09:56 +00:00 |
|
lperron@google.com
|
4a63f273da
|
cleanup old flatzinc2 references
|
2014-12-28 10:06:52 +00:00 |
|
lperron@google.com
|
dc6e9bfb56
|
cleanup old flatzinc2 references
|
2014-12-28 10:03:40 +00:00 |
|
lperron@google.com
|
9cf79848f1
|
cleanup old flatzinc2 references
|
2014-12-28 09:57:49 +00:00 |
|
lperron@google.com
|
205cd8b702
|
move flatzinc -> old_flatzinc; flatzin2 -> flatzinc; start working on doxygen
|
2014-12-28 09:46:26 +00:00 |
|
lperron@google.com
|
aeb6434297
|
split lp_data out of glop; port rest of code
|
2014-12-16 11:35:09 +00:00 |
|
lperron@google.com
|
dcd1f91337
|
post install fix in mac os X paths
|
2014-11-07 10:32:03 +00:00 |
|
lperron@google.com
|
b3bb781d5b
|
post install fix in mac os X paths
|
2014-11-07 10:30:54 +00:00 |
|
lperron@google.com
|
ba5c34e0c4
|
incomplete support for CPLEX, works only on mac currently
|
2014-10-15 21:31:03 +00:00 |
|
lperron@google.com
|
38a0129ecb
|
fix sat - fz2 constraint; improve logging; fix dependencies in Makefile; disable computed variable marking on inactive constraints
|
2014-08-02 15:54:08 +00:00 |
|
lperron@google.com
|
bcf44076d8
|
remove support for // LNS, it has not been used in 4 years
|
2014-07-24 23:42:05 +00:00 |
|
lperron@google.com
|
dd1d8f6b97
|
fix dependency problem
|
2014-07-24 20:32:09 +00:00 |
|
lperron@google.com
|
465666aad7
|
big sync: add presolve to sat solver; continue rewrite on C#/Python swig layer; remove as much using std::string as possible in the code; faster saturated arithmetics
|
2014-07-24 18:12:50 +00:00 |
|
lperron@google.com
|
be97a0635a
|
missing examples
|
2014-07-09 11:27:40 +00:00 |
|
lperron@google.com
|
6f25f38898
|
introduce glop, our own linear programming solver; improve sat
|
2014-07-08 09:27:02 +00:00 |
|
lperron@google.com
|
8940a0eeb4
|
first version of MDD based table constraint from regin/perez
|
2014-07-01 15:00:04 +00:00 |
|
lperron@google.com
|
3ec8730bda
|
acp challenge routing model
|
2014-06-23 06:12:57 +00:00 |
|
lperron@google.com
|
ba4e015731
|
acp working copy
|
2014-06-18 12:33:43 +00:00 |
|
laurent.perron@gmail.com
|
fb224dcaa3
|
fix flex/bison support; fz2 now compiles on windows
|
2014-05-31 20:37:50 +00:00 |
|
laurent.perron@gmail.com
|
577d7f7eb2
|
fix
|
2014-05-29 19:01:10 +00:00 |
|
lperron@google.com
|
01d103cd2e
|
fix compilation on windows
|
2014-05-29 18:44:55 +00:00 |
|
lperron@google.com
|
a043e6d7b3
|
sync makefile
|
2014-05-23 16:52:10 +00:00 |
|
lperron@google.com
|
fc8d9d36bc
|
fix
|
2014-05-23 14:33:31 +00:00 |
|
lperron@google.com
|
7fd8144def
|
improve saturated arithmetics
|
2014-05-15 09:19:35 +00:00 |
|
lperron@google.com
|
aa79ade123
|
allow compiling sat_runner statically
|
2014-05-14 11:32:01 +00:00 |
|
lperron@google.com
|
edc818237f
|
make cc_archive now includes sat
|
2014-05-14 09:45:28 +00:00 |
|
lperron@google.com
|
c2724eab2c
|
fix makefile dependency
|
2014-05-13 15:02:48 +00:00 |
|
lperron@google.com
|
9d1d8f3d26
|
upgrade in the base library (strings::Join now supports int and int64 vectors), file operations uses status; improve the code on symmetries; API for assumptions on sat
|
2014-05-13 12:56:44 +00:00 |
|
lperron@google.com
|
a9b460671d
|
fz2 is now linked statically
|
2014-05-12 09:40:01 +00:00 |
|
laurent.perron@gmail.com
|
6a245c2c72
|
compile sat constraint
|
2014-05-04 13:39:29 +00:00 |
|
laurent.perron@gmail.com
|
5cef83b218
|
add previous flatzinc constraints; store flattening mapping
|
2014-05-02 10:33:52 +00:00 |
|
laurent.perron@gmail.com
|
34ec68a687
|
port flatzinc parser to the latest bison/flex
|
2014-05-01 09:09:06 +00:00 |
|
laurent.perron@gmail.com
|
e19c029d6e
|
fix make clean
|
2014-04-30 16:35:06 +00:00 |
|
lperron@google.com
|
b683523603
|
more work on fz2 constraints
|
2014-04-22 14:46:38 +00:00 |
|
lperron@google.com
|
96df1d4c97
|
sync with internal version; major work on sat solver (symmetries, speedups); speed up on routing library
|
2014-03-12 17:30:11 +00:00 |
|