Laurent Perron 5abff09c1f add convex hull constraint on interval; improve scheduling relaxation

2020-09-21 09:44:39 +02:00

..

algorithms

cmake: Refactor sample tests

2020-09-19 17:21:50 +02:00

base

Force use of C++17

2020-08-14 14:07:58 +02:00

bop

expand all diff; change namespace in boolean_problem.proto

2020-09-10 10:39:29 +02:00

constraint_solver

remove deprecated examples using TreeMonitor

2020-09-19 18:04:50 +02:00

data

Force use of C++17

2020-08-14 14:07:58 +02:00

dotnet

deps: Bump Protobuf v3.12.4 -> v3.13.3

2020-08-26 13:54:51 +02:00

flatzinc

fix #2005; massive rewrite of pure sat processing; RINS/RENS improvements in CP-SAT; get rid of base/status.h in favor of the absl version

2020-05-06 18:22:10 +02:00

glop

fix glop status

2020-08-17 18:06:14 +02:00

graph

cmake: Refactor sample tests

2020-09-19 17:21:50 +02:00

java

java: Add exec.mainClass property in sample

2020-09-16 22:42:39 +02:00

linear_solver

cmake: Refactor sample tests

2020-09-19 17:21:50 +02:00

lp_data

Force use of C++17

2020-08-14 14:07:58 +02:00

port

Force use of C++17

2020-08-14 14:07:58 +02:00

python

deps: Bump Protobuf v3.12.4 -> v3.13.3

2020-08-26 13:54:51 +02:00

sat

add convex hull constraint on interval; improve scheduling relaxation

2020-09-21 09:44:39 +02:00

util

Force use of C++17

2020-08-14 14:07:58 +02:00

__init__.py

update license headers

2018-11-10 18:00:53 +01:00