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 |
|
lperron@google.com
|
d466fe741a
|
cleaner implementation of expressions on top of interval variables; turbo mode for first solutions in routing
|
2013-12-05 16:06:40 +00:00 |
|
lperron@google.com
|
5700126591
|
added setup dependent transition times on the disjunctive class; renamed files with - in their names to _; plenty of changes in the base library and modifications in the rest of the code accomodate them; dropped support for vs 2010 by using the brand new c++11 iterators (for (int i : vector_of_ints) {}). This is so neat; removed SetCommandLines on the routing model. I added a temporary API with parameters. This API is not final and will change to its final version soon
|
2013-10-10 15:23:20 +00:00 |
|
laurent.perron@gmail.com
|
ee504f891e
|
fix make cc_archive on windows
|
2013-09-23 19:54:00 +00:00 |
|
laurent.perron@gmail.com
|
2b7800ee1b
|
cbc -> 2.8.5 on windows too; fix demon_profiler.cc
|
2013-09-23 19:19:07 +00:00 |
|
lperron@google.com
|
db48748491
|
fix cc_archive
|
2013-09-23 15:09:31 +00:00 |
|
lperron@google.com
|
884df91751
|
first stab at c++ archives
|
2013-09-23 13:00:09 +00:00 |
|
lperron@google.com
|
1d871b15fe
|
fix problematic sat injection rule; add target for challenge; fix unprotected sat call
|
2013-08-02 22:53:41 +00:00 |
|
lperron@google.com
|
fbca77b812
|
stable version before submission to challenge
|
2013-08-02 22:21:12 +00:00 |
|
lperron@google.com
|
4cc8c42a2f
|
first implementation of flexible jobshop + dataset
|
2013-07-29 04:05:22 +00:00 |
|
lperron@google.com
|
e8eea7b231
|
start working on fz bug
|
2013-07-22 16:23:10 +00:00 |
|
lperron@google.com
|
e708ce0c88
|
extract fz constraints from registry.cc, hook alldifferent_except_0; add lex_less, lex_lesseq implementation; add inverse implementation
|
2013-07-15 22:43:29 +00:00 |
|
laurent.perron@gmail.com
|
d44008b302
|
first version of diffn constraint
|
2013-07-05 15:19:52 +00:00 |
|
lperron@google.com
|
b3ca7f3e67
|
add logging option for flatzinc support
|
2013-06-26 13:27:34 +00:00 |
|
lperron@google.com
|
e79755097d
|
rewrote the windows support for flatzinc parsers
|
2013-06-26 11:53:39 +00:00 |
|
lperron@google.com
|
bdc0c80251
|
move flatzinc generated files to src/gen
|
2013-06-26 11:41:05 +00:00 |
|