Laurent Perron
|
7254b51483
|
cosmetic improvements to the code
|
2017-04-19 16:20:56 +02:00 |
|
Laurent Perron
|
58cffacf68
|
reindent code
|
2016-11-29 13:40:04 +01:00 |
|
Laurent Perron
|
936a9f6bca
|
simplify table code, cleanup
|
2016-07-18 12:01:54 -07:00 |
|
Laurent Perron
|
9205e25a34
|
add comments, remove CHECK
|
2016-07-15 14:26:14 -07:00 |
|
Laurent Perron
|
c246ae6e6d
|
more experiments on table
|
2016-07-15 13:49:43 -07:00 |
|
Laurent Perron
|
199d4afea2
|
Use RevAnd in table constraint
|
2016-07-15 11:27:27 -07:00 |
|
Laurent Perron
|
ea201416a1
|
experiments on table constraint
|
2016-07-15 11:20:33 -07:00 |
|
Laurent Perron
|
cbabc328a2
|
simplify table code
|
2016-07-14 13:48:45 -07:00 |
|
Laurent Perron
|
46734f4316
|
reindent code
|
2016-07-14 12:41:00 -07:00 |
|
Laurent Perron
|
b056a076fa
|
more speedup on the table constraint
|
2016-07-14 11:35:00 -07:00 |
|
Laurent Perron
|
abf09891ad
|
speed up table constraints; embed solver parameters in the routing parameters; fix a bug in RevIntSet
|
2016-07-13 14:51:35 -07:00 |
|
Laurent Perron
|
95b14628f1
|
large rewrite in the documentation/headers; changed implementation of the ForbiddenInterval constraints, renamed to NotMember; remove unused mode in sat; rewrite of internals of glop; change callbacks to std::function in shortestpath.h; random sync with interval code
|
2016-06-02 13:19:10 +02:00 |
|
Laurent Perron
|
adf490b8ca
|
create solver parameters for the table constraint variations
|
2016-03-08 05:07:54 -08:00 |
|
Laurent Perron
|
ebd7b92d3f
|
update most of the API from callbacks to std::function, port python, java and C#
|
2015-08-13 16:00:54 +02:00 |
|
Vincent Furnon
|
ab1c69d166
|
Overall CP solver cleanup.
|
2015-04-29 20:05:25 +02:00 |
|
Vincent Furnon
|
04095cc28e
|
virtual to override change of the Constraint Solver code.
|
2015-04-16 15:49:51 +02:00 |
|
lperron@google.com
|
7166a9401d
|
multiple speedups in the routing library; code cleaning
|
2014-11-07 14:30:53 +00:00 |
|
lperron@google.com
|
50159a2cab
|
try to reduce usage of domain iterator in table constraint
|
2014-07-21 04:53:24 +00:00 |
|
lperron@google.com
|
9b6fd5f3ba
|
only uses valid tuples, checked during CompactTable::InitialPropagate()
|
2014-07-19 17:04:44 +00:00 |
|
lperron@google.com
|
b641dd9500
|
small optim on tables
|
2014-07-19 04:21:03 +00:00 |
|
lperron@google.com
|
7f6ebdb100
|
improve compact table
|
2014-07-19 02:56:09 +00:00 |
|
lperron@google.com
|
655825faa7
|
disable mdd table by default
|
2014-07-16 08:55:06 +00:00 |
|
lperron@google.com
|
1a4efa2e54
|
add empty line after licence part, in glop, implement portable floating point exceptions
|
2014-07-09 15:18:27 +00:00 |
|
lperron@google.com
|
98cd32d785
|
updated c++ code
|
2014-07-09 11:10:20 +00:00 |
|
lperron@google.com
|
8940a0eeb4
|
first version of MDD based table constraint from regin/perez
|
2014-07-01 15:00:04 +00:00 |
|
lperron@google.com
|
617af77115
|
minor rewrite; implement saving first solution heuristics for routing
|
2014-06-11 22:16:31 +00:00 |
|
lperron@google.com
|
597a01f1b8
|
branch sat table to transition, not working yet
|
2014-05-24 21:10:35 +00:00 |
|
lperron@google.com
|
73554585b3
|
attach experimental sat based table constraint
|
2014-05-23 16:54:17 +00:00 |
|
lperron@google.com
|
3fc3bb9b3a
|
fix
|
2014-05-21 13:50:10 +00:00 |
|
lperron@google.com
|
e8fb639bff
|
new api to iterate on domain/holes; change routing API to add a delta parameter to OnSynchronize
|
2014-05-21 13:01:04 +00:00 |
|
lperron@google.com
|
bc43137d29
|
favor compact table, remove block on element propagation in fz2 presolve
|
2014-05-15 20:11:39 +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
|
e670f9c46b
|
new operator in routing (MakeActiveAndRelocate); first pass at replace concise_iterator by c++11 for
|
2014-04-15 09:38:36 +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
|
54b10f910a
|
reformat code using clang-format
|
2014-01-08 12:01:58 +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
|
aaa6627131
|
scoped_ptr -> unique_ptr; complete rewrite of expressions on top of interval variables; cleanup of cost data structures in the routing library; misc cleaning (keys in hash_maps are now const)
|
2013-12-05 09:29:08 +00:00 |
|
lperron@google.com
|
936dad1e7f
|
DebugStringVector->JoinDebugStringPtr; fix overflow in disjunctive and path cumul; fix routing model inside the sequence var
|
2013-10-17 08:58:26 +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 |
|
lperron@google.com
|
05818f5cef
|
fastest and cleanest version of the table to date
|
2013-08-01 06:15:37 +00:00 |
|
lperron@google.com
|
9cf4787e6c
|
fast and stable version of the table constraint
|
2013-08-01 05:35:29 +00:00 |
|
lperron@google.com
|
5c064caa6e
|
more work on table
|
2013-08-01 01:28:46 +00:00 |
|
lperron@google.com
|
193ef5d742
|
more work on table
|
2013-08-01 01:25:50 +00:00 |
|
lperron@google.com
|
3735786b10
|
more code cleaning
|
2013-08-01 01:01:17 +00:00 |
|
lperron@google.com
|
f92835659c
|
do not simplify trace variables
|
2013-08-01 00:49:29 +00:00 |
|
lperron@google.com
|
805b6e52b8
|
presolve tables constraints by visiting the variables
|
2013-08-01 00:48:02 +00:00 |
|
lperron@google.com
|
8a63ba475d
|
big code simplication
|
2013-07-31 23:52:09 +00:00 |
|
lperron@google.com
|
fbd5282926
|
trim the to_remove vector in the Propagate() method of the compact table constraints
|
2013-07-31 03:58:42 +00:00 |
|
lperron@google.com
|
0c82dba6f7
|
small improvement
|
2013-07-31 01:53:54 +00:00 |
|
lperron@google.com
|
e505dc297b
|
improve scanning of domains in propagate methods of table constraints
|
2013-07-31 01:34:35 +00:00 |
|