Matthew Moore c5067e1826 Fix library references for build & tests. Modified examples.

2018-06-29 11:01:38 +02:00

..

algorithms

minor re-indents; typo fixes

2018-06-27 10:07:27 +02:00

base

remove completion heuristic from sat/fz, move it to sat directly; clean up // cp-sat + lns code

2018-06-27 15:59:02 +02:00

bop

remove completion heuristic from sat/fz, move it to sat directly; clean up // cp-sat + lns code

2018-06-27 15:59:02 +02:00

com/google/ortools

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

constraint_solver

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

2018-06-26 21:24:22 +02:00

data

minor refactoring of the code, mostly reindent

2018-06-11 11:50:49 +02:00

dotnet

Fix library references for build & tests. Modified examples.

2018-06-29 11:01:38 +02:00

flatzinc

remove completion heuristic from sat/fz, move it to sat directly; clean up // cp-sat + lns code

2018-06-27 15:59:02 +02:00

fsharp

Fix FSharp project

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

glop

ITIVector -> gtl::ITIVector; experimental LNS code for SAT

2018-06-26 21:24:10 +02:00

graph

ITIVector -> gtl::ITIVector; experimental LNS code for SAT

2018-06-26 21:24:10 +02:00

linear_solver

Merge branch 'master' into gurobi_error

2018-06-11 15:17:56 -04:00

lp_data

remove completion heuristic from sat/fz, move it to sat directly; clean up // cp-sat + lns code

2018-06-27 15:59:02 +02:00

port

clang-format

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

sat

Sat: use std::this_thread::sleep_for(50ms) instead

2018-06-29 10:18:26 +02:00

util

more work // flatzinc-sat; merge random utils in SAT/BOP

2018-06-21 13:54:27 +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