Laurent Perron c4c6cb6141 remove all optional integer variables from sat code; allow multiple enforcement literals for a few constraints

2018-09-12 16:58:19 +02:00

..

algorithms

dotnet: Full Rework

2018-08-30 11:58:47 +02:00

base

deep sync with base library renaming; lint checking; Speedup sat; new crash procedure for glop

2018-08-28 11:19:49 +02:00

bop

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

com/google/ortools

remove all optional integer variables from sat code; allow multiple enforcement literals for a few constraints

2018-09-12 16:58:19 +02:00

constraint_solver

Replace non ASCII character '–' in comments

2018-09-10 13:37:04 +02:00

data

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

dotnet

dotnet: Move CreateSigningKey to ortools/dotnet (Fix #824)

2018-09-11 15:05:03 +02:00

flatzinc

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

fsharp

Fix FSharp project

2018-05-25 15:10:06 +02:00

glop

deep sync with base library renaming; lint checking; Speedup sat; new crash procedure for glop

2018-08-28 11:19:49 +02:00

graph

Merge branch 'master' of https://github.com/google/or-tools

2018-09-12 15:07:26 +02:00

linear_solver

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

lp_data

deep sync with base library renaming; lint checking; Speedup sat; new crash procedure for glop

2018-08-28 11:19:49 +02:00

port

clang-format

2018-06-08 16:40:43 +02:00

sat

remove all optional integer variables from sat code; allow multiple enforcement literals for a few constraints

2018-09-12 16:58:19 +02:00

util

dotnet: Full Rework

2018-08-30 11:58:47 +02:00

__init__.py

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

CMakeLists.txt

Added cmake support for C++, initial python build support

2017-05-30 12:02:56 +05:30