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 |
|
lperron@google.com
|
2f066da88e
|
working very incomplete version of new flatzinc interpreter
|
2014-02-09 17:22:59 +00:00 |
|
lperron@google.com
|
1ab97e01bf
|
non working code for new flatzinc parser
|
2014-02-07 19:37:29 +00:00 |
|
lperron@google.com
|
66cafc43c8
|
clean sat generated files in make clean
|
2014-02-04 16:44:33 +00:00 |
|
lperron@google.com
|
1762461296
|
add missing dependency in makefiles
|
2014-02-01 18:27:57 +00:00 |
|
lperron@google.com
|
aa7e0f83ef
|
.o files now live in separate directories
|
2014-01-30 19:11:57 +00:00 |
|
laurent.perron@gmail.com
|
94f5e5e45a
|
remove nasty verification when doing make clean on windows
|
2014-01-27 17:28:39 +00:00 |
|
lperron@google.com
|
2e80edd0bc
|
small cleanup in sat makefile
|
2014-01-27 16:09:53 +00:00 |
|
lperron@google.com
|
980f5b2a22
|
win fix
|
2014-01-27 15:47:06 +00:00 |
|
lperron@google.com
|
7b802c0015
|
add core computation to sat solver; add vehicle dependent dimensions in routing
|
2014-01-27 15:05:30 +00:00 |
|
lperron@google.com
|
bd96a6e06f
|
promote libortools.so build rule
|
2014-01-23 19:13:52 +00:00 |
|
lperron@google.com
|
8575dd04bc
|
fix ortools.lib on windows, was missing the knapsack solver
|
2014-01-17 18:33:42 +00:00 |
|
lperron@google.com
|
d4a8c39042
|
fix c#
|
2014-01-16 00:25:58 +00:00 |
|
lperron@google.com
|
54b10f910a
|
reformat code using clang-format
|
2014-01-08 12:01:58 +00:00 |
|
laurent.perron@gmail.com
|
a7d29d9fa0
|
clean statis fz lib
|
2013-12-20 20:09:12 +00:00 |
|
lperron@google.com
|
ce4184c867
|
all += fz; delete sat in make clean
|
2013-12-20 19:21:33 +00:00 |
|
lperron@google.com
|
5aaea1d858
|
remove obsolete linear_solver.proto; speed up sat solver
|
2013-12-20 10:44:30 +00:00 |
|
lperron@google.com
|
d0a4e7d7e6
|
fix make cc_archive on windows
|
2013-12-19 15:19:32 +00:00 |
|
lperron@google.com
|
2486cf878a
|
fix make cc_archive on windows
|
2013-12-19 15:18:48 +00:00 |
|
lperron@google.com
|
e96a3329d3
|
fix make cc_archive on windows
|
2013-12-19 15:12:37 +00:00 |
|
lperron@google.com
|
d8f6befd7b
|
miss deps in sat target
|
2013-12-18 10:04:10 +00:00 |
|
lperron@google.com
|
05032ce679
|
remove using directives, in particular string -> std::string everywhere; speedups in the routing library
|
2013-12-16 10:24:42 +00:00 |
|
lperron@google.com
|
3afbef0b9d
|
add sat target
|
2013-12-15 20:05:11 +00:00 |
|
lperron@google.com
|
2709194de1
|
fix makefile
|
2013-12-12 16:02:45 +00:00 |
|
lperron@google.com
|
eef0e9ab02
|
experimental sat/pb solver
|
2013-12-12 14:43:04 +00:00 |
|
lperron@google.com
|
cfc3a58f80
|
new protobuf to store linear models and solutions, much smaller and faster
|
2013-12-10 15:50:16 +00:00 |
|