Laurent Perron 11a681b64d Merge branch 'master' of https://github.com/google/or-tools

2018-09-14 13:24:37 +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

[SAT/Java] ILiteral -> Literal; [SAT] fix a few english mistakes

2018-09-14 13:24:34 +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: EnableDefaultCompileItems -> EnableDefaultItems in .proj

2018-09-14 11:19:38 +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

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

2018-09-14 13:24:37 +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

…