Laurent Perron 3ea59976a7 simplify int64/uint64 constant and casts

2021-02-07 00:45:47 +01:00

..

algorithms

add deterministic time limit to the graph symmetry finder; improve support for scheduling constraints in regular LNS for CP-SAT; improve symmetry detection for CP-SAT

2021-02-03 15:39:48 +01:00

base

simplify int64/uint64 constant and casts

2021-02-07 00:45:47 +01:00

bop

Sync g3 to gh

2020-12-11 17:50:03 +01:00

constraint_solver

simplify int64/uint64 constant and casts

2021-02-07 00:45:47 +01:00

data

…

dotnet

…

flatzinc

improve error reporting in FZ interpreter

2021-01-28 13:11:08 +01:00

glop

Export indent from Google

2020-12-22 10:43:28 +01:00

graph

Update graph README

2021-01-27 14:43:14 +01:00

gscip

…

java

fix doc for assumptions new API

2021-02-05 17:18:58 +01:00

linear_solver

Bump version 8.1 -> 8.2

2021-01-26 11:34:47 +01:00

lp_data

Export indent from Google

2020-12-22 10:43:28 +01:00

port

…

python

…

sat

fix doc for assumptions new API

2021-02-05 17:18:58 +01:00

util

simplify int64/uint64 constant and casts

2021-02-07 00:45:47 +01:00

__init__.py

…