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
|
7c7dd4d124
|
force variables to be inside the domain of the counted values
|
2012-09-19 14:06:47 +00:00 |
|
lperron@google.com
|
e60cc8f027
|
fix gcc_test
|
2012-09-19 14:03:45 +00:00 |
|
lperron@google.com
|
467d866901
|
towards a working version of the range based global cardinality constraint
|
2012-09-19 13:45:22 +00:00 |
|
laurent.perron@gmail.com
|
49215cd742
|
compilation fix on windows
|
2012-09-13 17:35:50 +00:00 |
|
lperron@google.com
|
2984300b7c
|
frequency assignment problem
|
2012-09-13 16:25:28 +00:00 |
|
lperron@google.com
|
d404365e06
|
one more example
|
2012-09-07 19:32:03 +00:00 |
|
lperron@google.com
|
85e4fc1374
|
simple reverse example of assignment in free variables
|
2012-09-05 20:19:05 +00:00 |
|
lperron@google.com
|
9593879f84
|
corrected examples
|
2012-09-05 15:50:45 +00:00 |
|
lperron@google.com
|
bb29603649
|
fix
|
2012-09-04 07:26:22 +00:00 |
|
lperron@google.com
|
062e8cba72
|
one more presolve rule, helps on debruijn_mike_winter2
|
2012-09-03 19:39:43 +00:00 |
|
lperron@google.com
|
9d2a791457
|
expose helpers when reinforcing constraints, add README in flatzinc examples to recognize Hakan's contribution; clean up some factory code; recognize special case of distribute as all different
|
2012-09-03 19:14:18 +00:00 |
|
lperron@google.com
|
4cd23fbdfc
|
commit plenty of fzn examples
|
2012-09-03 18:26:36 +00:00 |
|
lperron@google.com
|
63b9fcc4e9
|
global cardinality variations
|
2012-09-03 17:45:47 +00:00 |
|
lperron@google.com
|
0485846869
|
new examples
|
2012-09-03 14:58:24 +00:00 |
|
lperron@google.com
|
bd25bee356
|
improved python/java/.NET archives, available on all platforms, with license and readme file
|
2012-09-02 15:20:21 +00:00 |
|
lperron@google.com
|
63744c6d83
|
hide non working test
|
2012-08-27 15:58:44 +00:00 |
|
lperron@google.com
|
3b8acc086e
|
new api with decision builder on solver::accept()
|
2012-08-27 14:10:15 +00:00 |
|
lperron@google.com
|
b02828f7aa
|
hook up JC's table
|
2012-08-21 15:03:47 +00:00 |
|
lperron@google.com
|
27eeb7fa3a
|
missing IO for varvaluewatcher, varboundwatcher, elementequal and indexor constraints
|
2012-08-17 23:20:02 +00:00 |
|
lperron@google.com
|
b481e43332
|
Implemented Accept on all constraints
|
2012-08-14 21:45:43 +00:00 |
|
lperron@google.com
|
a6cb36405c
|
add heuristic period parameter for free flatzinc search; add failing example
|
2012-08-12 18:06:28 +00:00 |
|
lperron@google.com
|
d6ca48cab3
|
fix interesting bug, if you restart a search in the final proof phase of an optimization problem, you called optimizevar->ApplyBound() outside of the try/catch, and thus loop indefinitely
|
2012-08-12 10:53:38 +00:00 |
|
lperron@google.com
|
9d92dbeac2
|
example that shows the bug in nogoods
|
2012-08-08 23:01:13 +00:00 |
|
lperron@google.com
|
832983e18d
|
fix debug display on default search
|
2012-08-07 00:12:37 +00:00 |
|
lperron@google.com
|
7a62a28e31
|
restore previous search
|
2012-08-04 16:16:53 +00:00 |
|
lperron@google.com
|
0c3b085e34
|
fix for aliases simplification
|
2012-08-04 15:55:49 +00:00 |
|
lperron@google.com
|
b7fd0ef49f
|
add more constraints
|
2012-07-31 18:28:45 +00:00 |
|
laurent.perron@gmail.com
|
e54d9fa20a
|
correct license
|
2012-07-31 07:01:37 +00:00 |
|
lperron@google.com
|
3fbe077ccc
|
import googlecode support scripts
|
2012-07-30 18:51:20 +00:00 |
|
lperron@google.com
|
043b6d48c6
|
compilation fix
|
2012-07-27 21:03:16 +00:00 |
|
lperron@google.com
|
81380b8a0c
|
fixes
|
2012-07-27 17:56:50 +00:00 |
|
lperron@google.com
|
f694c0633c
|
LS and LNS example in java
|
2012-07-26 17:36:11 +00:00 |
|
lperron@google.com
|
beeb3e7ee3
|
working C# ls example with filter
|
2012-07-26 16:51:08 +00:00 |
|
lperron@google.com
|
5f44ab0ab7
|
C# examples showing a new LS operator
|
2012-07-26 15:18:44 +00:00 |
|
lperron@google.com
|
896a472b73
|
added LNS c# example
|
2012-07-26 07:28:12 +00:00 |
|
lperron@google.com
|
8582ba0a47
|
added LNS c# example
|
2012-07-26 07:25:05 +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
|
fcff53987b
|
more example ls with filter
|
2012-07-26 05:26:46 +00:00 |
|
lperron@google.com
|
c22fe42290
|
more example ls
|
2012-07-26 02:22:16 +00:00 |
|
lperron@google.com
|
08431ebbb4
|
working lns example
|
2012-07-26 02:08:35 +00:00 |
|
lperron@google.com
|
80253d53fc
|
display name of named constants
|
2012-07-25 18:14:46 +00:00 |
|
lperron@google.com
|
34b227be0d
|
fix
|
2012-07-25 18:00:20 +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
|
87b5575348
|
working version of next model on sequence var
|
2012-07-20 18:14:47 +00:00 |
|
lperron@google.com
|
cda53edf0e
|
more work
|
2012-07-19 05:22:46 +00:00 |
|
lperron@google.com
|
c80d887e73
|
fix
|
2012-07-19 04:29:06 +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
|
a819336e55
|
create visible DisjunctiveConstraint class, add name to factory builder, move sequence var builder from solver to disjunctive constraint, port examples
|
2012-07-18 19:54:04 +00:00 |
|