Laurent Perron 95035186c3 fix UMR in assumptions

2020-08-18 17:21:51 +02:00

..

algorithms

Force use of C++17

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

base

Force use of C++17

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

bop

Force use of C++17

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

constraint_solver

Force use of C++17

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

data

Force use of C++17

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

dotnet

deps: Bump Protobuf 3.12.2 -> 3.12.4

2020-08-05 12:26:38 +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

Force use of C++17

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

java

deps: Bump Protobuf 3.12.2 -> 3.12.4

2020-08-05 12:26:38 +02:00

linear_solver

remove name from MPSolver.CreateSolver API; simplify underlying code

2020-08-18 17:16:10 +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

cmake: Fix email in setup.py

2020-08-17 09:41:28 +02:00

sat

fix UMR in assumptions

2020-08-18 17:21:51 +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