Commit Graph

156 Commits

Author SHA1 Message Date
Laurent Perron
1f34325cb1 fix indent and dos line format 2017-11-22 15:18:01 +01:00
Laurent Perron
b645ce1f52 add license to examples; add example from the documentation 2017-11-22 14:55:44 +01:00
Laurent Perron
b404a0b989 scrub python sat examples from colab features 2017-11-22 11:25:51 +01:00
Laurent Perron
7ee023e15d new trivial sat python example 2017-11-21 14:15:26 +01:00
Laurent Perron
21f9744862 modify python sat examples to use visualization when run from IPython; change corresponding notebooks 2017-11-21 03:54:06 +01:00
Laurent Perron
4abd300cdd revert python example 2017-11-20 17:06:16 +01:00
Laurent Perron
d4a81c143c py to ipynb 2017-11-20 17:04:25 +01:00
Laurent Perron
a4a06a357a improve rcpsp parser and rcpsp_sat.py 2017-11-16 17:48:30 +01:00
Laurent Perron
14564c0917 simplify reservoir expand; change a bit the enqueue protocol in the sat solver 2017-11-14 16:58:07 +01:00
Laurent Perron
ae3007234b fix sat python reservoir code; continue working on rcpsp_sat.py to support consumer/producer problems 2017-11-13 15:45:02 +01:00
Laurent Perron
e14ee86de3 move rcpsp parser to ortools/data; continue working on SAT 2017-11-07 15:45:52 +01:00
Laurent Perron
bdd72fe1b1 Add SearchForAllSolution in sat cp_model.py API; add code to export model from the steel_mill_slab_sat code 2017-11-05 10:31:52 +01:00
Laurent Perron
a4716f97f5 simplify steel_mill_slab_sat after previous fix 2017-11-04 23:52:44 +01:00
Laurent Perron
432cfed06f fix delayed solution value in sat solution observer 2017-11-04 23:50:06 +01:00
Laurent Perron
42e0a0b91f working version of rcpsp_sat in python 2017-11-04 23:26:01 +01:00
Laurent Perron
4710247921 skeleton files to support rcpsp loader from python 2017-11-03 23:36:21 +01:00
Laurent Perron
b938134fa1 cleanup steel_mill_slab_sat 2017-10-27 17:06:01 +02:00
Laurent Perron
fed190b30a improve steel mill slab 2017-10-27 11:49:02 +02:00
Laurent Perron
9e3d151256 improve steel mill slab 2017-10-27 08:52:42 +02:00
Laurent Perron
6cf95ec0e7 more work on steel_mill_slab_sat 2017-10-26 11:49:22 +02:00
Laurent Perron
91783cb848 filter slabs 2017-10-25 15:27:19 +02:00
Laurent Perron
3cbcf98604 work in progress, python version of the steel mill slab problem with the sat solver 2017-10-25 14:20:56 +02:00
Laurent Perron
03fccb4032 improve incrementality of glop when used in the sat solver; change more copyright dates; more documentation on the gate scheduling problem 2017-10-18 11:09:13 +02:00
Laurent Perron
5f6096d901 add more API on cp_model.py; gate_scheduling sat problem from or-tools.discuss 2017-10-17 14:15:44 +02:00
Laurent Perron
2c7a8bf8f6 change copyright date 2017-10-17 13:08:10 +02:00
Laurent Perron
c12423004f improve output of gate scheduling 2017-10-17 11:58:29 +02:00
Laurent Perron
2152b57799 gate scheduling problem 2017-10-17 11:42:24 +02:00
Laurent Perron
4bea1f9922 improve hidato_sat.py 2017-10-15 14:39:49 +02:00
Laurent Perron
20ba8015bc fix sat bugs found by new examples; improve gitignore 2017-10-11 03:05:13 -07:00
lperron
062924c0c1 Merge pull request #482 from Gouravchawla/patch-1
Corrects a word in docstring
2017-09-14 13:29:38 +00:00
Gourav Chawla
391412267f Corrects a word in docstring
Corrects word 'Too' which should be To.
2017-09-14 13:50:28 +05:30
Gourav Chawla
8f15d9b154 Corrects a word in docstring
Corrects word 'Too' which should be To.
2017-09-14 13:34:21 +05:30
darkstego
18bac3b615 Removed redundant variables in DecisionBuilder
The variable vector added several deravitive variable that needlessly
increased the size of the search tree. The change cuts the search tree
size significantly.
2017-03-25 04:14:34 -04:00
darkstego
54c06796b3 Properly assigned IntVar rather than using constraints
The difference variables were input as constraints when they should
be added as a pure assignment. This change made the programs run
over 15 times faster.
2017-03-25 04:09:19 -04:00
Driss Lahlou
923cf07b68 integrate install_python_dependencies in python + use protobuf from sources 2017-01-02 20:53:18 +01:00
Driss Lahlou
d805f9bdd4 another fix in examples/python/check_dependencies.py 2017-01-02 15:06:46 +01:00
Driss Lahlou
a2266ce199 fix in examples/python/check_dependencies.py 2017-01-02 14:58:05 +01:00
Driss Lahlou
561d56cd88 refactor the code of checking the python dependencies 2016-12-13 15:22:40 +01:00
Driss Lahlou
0f9d336b3e more checks in check_dependencies 2016-12-12 16:42:47 +01:00
Driss Lahlou
770f2d2846 add check for modules import 2016-12-09 18:39:10 +01:00
Driss Lahlou
301d2674d6 add a python dependencies check for sources 2016-11-10 16:38:59 +01:00
Driss Lahlou
fab96aa739 support for python3 in examples/python/cvrptw.py 2016-10-27 17:59:23 +02:00
Vincent Furnon
3fc41e8c31 Port routing examples to new depot API 2016-10-16 19:28:59 -04:00
Laurent Perron
592e4878ca Remove SetDepot on routing model; Add argument to RoutingModel ctor; port all examples (C++, python, java, C#; bump version number to 5.0 as we are breaking compatibility 2016-10-07 17:40:41 +02:00
Driss Lahlou
d2f051f1b4 fix PYTHONPATH for tests and examples 2016-09-07 15:55:11 +02:00
dlahlou
8f080d4e68 Merge pull request #238 from mjfwest/mybranch
corrected use of local search operators.
2016-09-02 08:25:56 -07:00
Martin West
457c0cacf4 corrected use of local search operators. 2016-08-29 01:22:40 +02:00
Adrian Rangel
3fc21ae08e don't use deprecated method 2016-08-25 23:27:23 -05:00
Vincent Furnon
799ae30ce8 Fix cvrptw_plot.py example: fix usage of variable indices. 2016-08-11 20:46:04 -04:00
Driss Lahlou
bd19bd4128 add a cvrptw.py example without plot 2016-07-29 13:53:30 +02:00