lperron@google.com
d9b52a25ff
compilation fix, more work on collect_variables
2011-12-17 21:48:11 +00:00
lperron@google.com
dd008982c7
more work on variable collector, add more constraints as sub-classes of cast constraint
2011-12-17 21:20:58 +00:00
lperron@google.com
af60f38cc2
This should complete the reimplementation/extension of SequenceVar.
...
Now it should be possible to do meaningful LS and LNS on sequence variables.
Move RevBitSet to constraint_solveri.h.
Extend sequence with RankLast/RankNotLast.
Change assignment element on sequence to take 3 vectors:
- rank_firsts.
- rank_lasts.
- unperformed.
Changed FillSequence accordingly.
Change proto accordingly.
Add trace event on SequenceVar::RankSequence.
Add trace event on SequenceVar::RankLast/RankNotLast.
Added a RankSequence which take as input these 3 vectors.
Add RevArray<T> template.
Generalize use of Rev<T> and RevArray<T> in the code.
Add API to discover and collect the decision variables of the model.
Test it in model_util.
2011-12-16 21:02:59 +00:00
lperron@google.com
7a6ca13835
complete rewrite of trace and propagation
2011-11-16 17:32:24 +00:00
lperron@google.com
478bcc6d96
first stab at trace mode in the cp library, print version only at this time
2011-11-09 10:59:31 +00:00
lperron@google.com
b3bea24e4e
add CastConstraint type of constraint, more documentation
2011-11-07 15:31:18 +00:00
lperron@google.com
2fce86a422
fix includes
2011-09-21 15:16:48 +00:00
lperron@google.com
35677ecf29
add model I/O at the solver level
2011-09-05 13:45:29 +00:00
lperron@google.com
df9a76051f
Add Solver::MakeSum(Array of Var, Var); improve model visiting; hide more classes
2011-08-11 07:26:19 +00:00
lperron@google.com
58e292a411
complete model visitor; model visitor can now visit search monitors and decision builders; lots of style changes; put all implementation classes in anonymous namespaces
2011-08-11 05:15:18 +00:00
lperron@google.com
ecf8d85612
fix how MakeSumEquality is implemented in the general case
2011-07-15 02:24:37 +00:00
lperron@google.com
d018deb5c5
fix bug where nested constraints were not forgotten at the end of the search; Simplify API of model visitors
2011-07-14 23:37:47 +00:00
lperron@google.com
8c9ac2e107
visit constraints and expressions
2011-07-11 20:13:14 +00:00
lperron@google.com
e9ddd314cf
simplify and improve debug string methods
2011-06-16 15:15:00 +00:00
lperron@google.com
c9e0baedeb
import mathutil.h and use it in the code
2011-05-30 14:27:57 +00:00
lperron@google.com
46fc03c43f
much faster sum, especially on large vectors
2011-05-26 09:34:39 +00:00
lperron@google.com
576549226b
minimize the use of using std:: in the code -> big changes in the headers and headers include; new knapsack solvers using CBC and glpk
2011-05-17 20:38:55 +00:00
lperron@google.com
98bbbfd36b
update licenses
2011-04-11 15:00:18 +00:00
lperron@google.com
24cf9696d3
improve implementation of sum(boolean) == constant
2011-02-18 10:42:57 +00:00
lperron@google.com
6141128216
Introduced parameters to the Solver class
2010-12-06 10:59:35 +00:00
lperron@google.com
1710e76999
improve Sum on array
2010-11-26 09:54:32 +00:00
lperron@google.com
4f60b6b50c
add reference to optimization on sum implementation
2010-11-25 16:17:25 +00:00
lperron@google.com
1524c8f391
initial checking
2010-09-15 12:42:33 +00:00
