always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
5,799 Commits 2 Branches 0 Tags
dc873e59cdca2655706f4164b996fe5fbaa55bd8
Commit Graph

225 Commits

Author SHA1 Message Date
Laurent Perron
d93d85b463 fix flexible_jobshop example and test 2018-09-25 08:51:19 +02:00
Laurent Perron
4b272939ad incomplete fix dimacs example 2018-09-24 21:48:41 +02:00
Laurent Perron
f99d71438d remove rcpsp_sat cpp example 2018-09-12 19:59:17 +02:00
Laurent Perron
b676ac3c70 fix jobshop_sat 2018-09-12 18:32:05 +02:00
Laurent Perron
8441579339 fix jobshop_sat.cc 2018-09-12 17:53:34 +02:00
Laurent Perron
428e272ccc add ModelStats and CpSolverResponseStats for SAT/{Python|Java|C#}; enable multiple enforcement literals for a few constraints; small fixes, typo corrections 2018-09-12 15:07:23 +02:00
Laurent Perron
6170e82097 fix a few warnings in examples 2018-09-06 22:57:59 +02:00
Corentin Le Molgat
3713802c85 Fixup cvrptw_lib::DisplayPlan 2018-09-06 17:26:36 +02:00
Corentin Le Molgat
c1962fada8 python: Fix cvrptw_lib NodeIndex in display function 2018-09-06 15:26:53 +02:00
Laurent Perron
4b5b2a44d6 fix file comment 2018-09-01 16:55:28 +02:00
Laurent Perron
3c66f269c9 remove missing example from README 2018-09-01 16:55:03 +02:00
Laurent Perron
15e17afb02 remove not exported example from README 2018-08-31 08:51:00 +02:00
Laurent Perron
5e47ffaceb fix nqueens2.cc #695 2018-08-30 23:36:56 +02:00
Laurent Perron
0152168fb7 add C# sat code samples in ortools/sat/samples; remove old code_samples_sat.* files 2018-07-17 14:00:18 -07:00
Laurent Perron
8e7db4fbda use std::atomic<bool> in external boolean for time limit 2018-07-04 13:31:00 +02:00
Laurent Perron
bd04f656b3 rename MODEL_SAT to FEASIBLE, MODEL_UNSAT to INFEASIBLE 2018-07-02 15:35:40 +02:00
Laurent Perron
c1ab121ff7 ITIVector -> gtl::ITIVector; experimental LNS code for SAT 2018-06-26 21:24:10 +02:00
Laurent Perron
70e73d8754 clang-format 2018-06-08 16:40:43 +02:00
Laurent Perron
1ec337d9c0 fix weighted_tardiness_sat crash 2018-06-08 13:36:19 +02:00
Laurent Perron
85339803e8 work on sat scheduling doc; fix C# code to accept optional interval vars without optional start and end variables; update code_samples with new code from doc 2018-06-07 15:33:25 +02:00
Laurent Perron
bd060bc400 more code samples for sat 2018-06-06 15:28:23 +02:00
Laurent Perron
e129e2da77 fix examples 2018-06-06 14:32:29 +02:00
Laurent Perron
74456de74c simple cryptarithmetic examples for sat doc 2018-06-05 15:54:45 +02:00
Corentin Le Molgat
d6fd74b4c9 Fixing all remaining StrCat -> absl::StrCat 2018-06-02 03:13:30 +02:00
Corentin Le Molgat
7dda497960 Fix all remaining StrAppend -> absl::StrAppend 2018-06-02 03:05:07 +02:00
Laurent Perron
5eff2ed1bd polish sat doc and code samples 2018-05-30 11:29:09 -07:00
Laurent Perron
ca579c649f add code samples in C++ for sat 2018-05-30 10:03:49 -07:00
Laurent Perron
bd106059e5 support assembly scheduling in the jobshop_scheduling.proto and corresponding examples/cpp/jobshop_sat.cc 2018-05-22 13:13:52 +02:00
Laurent Perron
55d906819f add jobshop scheduling proto + parser + sat solver 2018-04-18 13:37:29 +02:00
Laurent Perron
023bc19334 update C++ examples after changes in base library 2018-04-11 13:47:07 +02:00
Laurent Perron
8623fc3580 speed up sat cumulative; add namespaces to base library + fix code 2018-04-11 13:00:30 +02:00
Laurent Perron
8ac56302da small improvements to SAT presolve; fix sat_runner 2018-03-13 17:20:49 +01:00
Corentin Le Molgat
8bd5acee1a Add Test & Examples 
Tests:
- Add cc test
- Add python test

Examples:
- Add examples/cpp
- Add examples/data
- Add examples/notebook
- Add examples/python

Signed-off-by: Corentin Le Molgat <corentinl@google.com>
 2018-01-19 15:03:25 +01:00
Laurent Perron
aad245304f fix compilation of sat_runner 2017-12-29 11:14:08 +01:00
Laurent Perron
bace30695d export base::SetFlag and base::GetFlag; use them in examples 2017-12-14 12:46:53 +01:00
Laurent Perron
3af045b0b1 remove ortools/util/filelineiter.h in favor of ortools/base/filelineiter.h 2017-12-11 15:52:26 +01:00
Laurent Perron
cfdaf3972e polish previous CL on base libraries upgrade 2017-12-08 16:08:16 +01:00
Laurent Perron
8d7320b962 deep sync with base library; prepare for abseil.io integration 2017-12-08 14:52:49 +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
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
997608b9de add rcpsp namespace to rcpsp proto 2017-11-03 01:30:21 +01:00
Laurent Perron
32737da118 move rcpsp_parser data to a proto format 2017-11-03 01:26:52 +01:00
Laurent Perron
2c7a8bf8f6 change copyright date 2017-10-17 13:08:10 +02:00
Laurent Perron
a54b49ebb8 change solution observer on sat to take a CpSolverResponse as parameter 2017-10-16 15:02:51 +02:00
Laurent Perron
7d65b79f95 shuffle code around to prepare sat API to be proto only/prefered 2017-07-26 15:23:29 -07:00
Laurent Perron
51d7f77c7c fix compilation of solve.cc 2017-07-20 11:35:38 -07:00
Laurent Perron
0501a62221 add sat clause simplifications to cp_model solver 2017-07-20 11:30:17 -07:00
Laurent Perron
dd0e9e200c fix example after removal of code in sat 2017-07-05 16:30:10 -07:00
Laurent Perron
8ecbea311b fix examples 2017-06-29 11:59:21 +02:00