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 |
|
lperron@google.com
|
a265ee0838
|
skeleton of early tardy jobshop
|
2012-07-16 18:40:45 +00:00 |
|
lperron@google.com
|
247420b237
|
working incremental connection with minisat
|
2012-07-13 00:12:51 +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
|
6a9c04f7ce
|
unfinished boolean propagator
|
2012-07-09 14:59:09 +00:00 |
|
lperron@google.com
|
3313aca838
|
speed up IsDifferentVar
|
2012-06-29 05:23:58 +00:00 |
|
lperron@google.com
|
01d335dd8c
|
skeleton of set variables
|
2012-06-17 06:44:15 +00:00 |
|
lperron@google.com
|
6480c87b67
|
untested support for Sulum linear programming
|
2012-06-13 07:01:43 +00:00 |
|
lperron@google.com
|
099ea95e5b
|
fix for fz on windows
|
2012-06-09 15:07:26 +00:00 |
|
lperron@google.com
|
87952ee0f8
|
fix for fz on windows
|
2012-06-09 15:04:47 +00:00 |
|
lperron@google.com
|
79b07ce6d6
|
tentative support for parser files on windows, cross compiled from unix
|
2012-06-09 14:56:02 +00:00 |
|
lperron@google.com
|
d1d974acf7
|
move bucket_table to ac4r_table
|
2012-06-07 20:23:22 +00:00 |
|
lperron@google.com
|
91bc5dbb22
|
reorganize more code
|
2012-06-03 13:35:33 +00:00 |
|
lperron@google.com
|
ce2d837e8e
|
log is now optional
|
2012-06-02 09:30:12 +00:00 |
|
lperron@google.com
|
26dd6713e5
|
first example working in flatzinc
|
2012-06-01 09:30:35 +00:00 |
|
lperron@google.com
|
b7a4034892
|
compiling version of soft gcc
|
2012-05-29 13:20:13 +00:00 |
|
lperron@google.com
|
8cd05180e3
|
use TreeArrayConstraint to encode min/max on array
|
2012-05-28 21:37:13 +00:00 |
|
lperron@google.com
|
82fe8d7d00
|
fix one crash in Collect variables
|
2012-05-24 07:30:03 +00:00 |
|
lperron@google.com
|
7669beb5b6
|
test new GCC
|
2012-05-10 14:24:50 +00:00 |
|
lperron@google.com
|
47cd9e7e41
|
temp version of gcc constraint
|
2012-05-10 09:14:12 +00:00 |
|