Laurent Perron 8e4d25594f fix syncho bug with LNS and optional variables, improve alldiff expansion; improve alldiff presolve

2020-09-10 15:07:03 +02:00

..

algorithms

Bump csproj

2020-09-01 16:01:05 +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

Bump csproj

2020-09-01 16:01:05 +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

Bump csproj

2020-09-01 16:01:05 +02:00

java

java: add pom-sample.xml.in

2020-09-08 22:16:19 +02:00

linear_solver

Bump csproj

2020-09-01 16:01:05 +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

fix syncho bug with LNS and optional variables, improve alldiff expansion; improve alldiff presolve

2020-09-10 15:07:03 +02:00

util

Force use of C++17

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

__init__.py

…