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 |
|
lperron@google.com
|
dcf4be8d11
|
clean flatzinc code; internal renaming; rename lexer.lxx to flatzinc.lex, rename parser.yxx to flatzinc.yy; prefix all bizon/flex generated code by orfz_
|
2013-06-26 10:22:33 +00:00 |
|
lperron@google.com
|
8951f94631
|
improve makefiles; fix examples/tests/remote
|
2013-06-19 09:54:37 +00:00 |
|
lperron@google.com
|
8ef5fb565b
|
huge sync with internal version
|
2013-06-11 14:52:31 +00:00 |
|
laurent.perron@gmail.com
|
86d4238f7d
|
tentative support for scip under windows
|
2013-04-21 10:49:57 +00:00 |
|
lperron@google.com
|
fbbf572eaa
|
reindent
|
2013-01-10 14:02:43 +00:00 |
|
lperron@google.com
|
c48d50f194
|
improve base library
|
2013-01-09 11:09:38 +00:00 |
|
lperron@google.com
|
79eeffb651
|
fix
|
2012-11-13 01:21:47 +00:00 |
|
lperron@google.com
|
64d94e6316
|
small fixes + cpp11 compatibility test
|
2012-11-13 01:20:50 +00:00 |
|
lperron@google.com
|
f974226518
|
experimental support for gurobi; only tested on mac os X so far
|
2012-10-28 09:07:15 +00:00 |
|
lperron@google.com
|
aa5c78023e
|
fix makefiles
|
2012-09-13 17:20:28 +00:00 |
|
lperron@google.com
|
2984300b7c
|
frequency assignment problem
|
2012-09-13 16:25:28 +00:00 |
|
lperron@google.com
|
8996cc14a4
|
allow static fz
|
2012-09-05 18:59:05 +00:00 |
|
lperron@google.com
|
f98d6d7610
|
fix
|
2012-09-05 18:56:44 +00:00 |
|
laurent.perron@gmail.com
|
a7c89490ed
|
fix windows makefiles
|
2012-09-01 20:54:10 +00:00 |
|
lperron@google.com
|
0ee0a51831
|
fixes
|
2012-09-01 20:38:37 +00:00 |
|
laurent.perron@gmail.com
|
40539dc0a5
|
compile library both as static and dynamic, will allow delivering python/java/.net on unix, **WARNING** Will break unix build
|
2012-09-01 20:12:38 +00:00 |
|
laurent.perron@gmail.com
|
5d563ad6cb
|
safe start/duration/end expr on interval with fallback values
|
2012-08-31 20:42:22 +00:00 |
|
lperron@google.com
|
fbb2735471
|
continue preparing for // search
|
2012-08-22 16:49:00 +00:00 |
|
laurent.perron@gmail.com
|
0f0a707ef5
|
fix bugs, add a make fz target
|
2012-08-03 02:54:05 +00:00 |
|
lperron@google.com
|
2b6bbdb4a7
|
remove spec.h, ast.h, merge into parser.h; reorganize flatzinc code
|
2012-08-01 18:48:20 +00:00 |
|
lperron@google.com
|
5f44ab0ab7
|
C# examples showing a new LS operator
|
2012-07-26 15:18:44 +00:00 |
|
lperron@google.com
|
2a147d3c36
|
rename tests/ls_test to cpp/ls_api in the example directory
|
2012-07-26 06:44:14 +00:00 |
|
lperron@google.com
|
08431ebbb4
|
working lns example
|
2012-07-26 02:08:35 +00:00 |
|
lperron@google.com
|
28c0f8beaa
|
replace sequence var internal module by a tsp like version
|
2012-07-21 01:19:32 +00:00 |
|
lperron@google.com
|
f7a44730d6
|
baby steps to have sequence var based on routing like model with next variables
|
2012-07-18 23:43:45 +00:00 |
|