Laurent Perron 0150c17637 revamp absl::MakeCleanup implementation while waiting for the official one

2020-06-16 13:15:27 +02:00

..

algorithms

Backport samples from g3 to gh

2020-05-26 13:51:51 +02:00

base

revamp absl::MakeCleanup implementation while waiting for the official one

2020-06-16 13:15:27 +02:00

bop

Fix boolean_problem.proto namespace

2020-05-16 13:01:07 +02:00

constraint_solver

Backport samples from g3 to gh

2020-05-26 13:51:51 +02:00

data

cmake(python): Fix module update

2020-05-20 18:46:57 +02:00

dotnet

.Net: Fix package_reference on runtime

2020-04-15 15:22:41 +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

add incremental in-search preprocessing to SAT; fix #2040; fix rare check in glop

2020-06-03 12:07:07 +02:00

graph

cmake(python): Fix module update

2020-05-20 18:46:57 +02:00

java

Bump protobuf 3.11.4 -> 3.12.2

2020-06-03 12:17:31 +02:00

linear_solver

Add region tags for program and import.

2020-06-06 22:19:10 +02:00

lp_data

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

port

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

python

Bump protobuf 3.11.4 -> 3.12.2

2020-06-03 12:17:31 +02:00

sat

fix scaling issue in probing; fix overflow in feasibility pump; fix missing presolve

2020-06-12 15:05:29 +02:00

util

cleanup

2020-06-05 16:12:05 +02:00

__init__.py

…