Laurent Perron 99a06cf328 [CP-SAT] remove division expansion; implement general division propagator; improve internal APIs; fix bug and simplify code on lb_tree_search

2021-10-27 13:22:27 +02:00

..

algorithms

algorithms: use std::stable_sort

2021-09-24 17:58:26 +02:00

base

Add version info on python, java, .NET; add patch info on C++, #2861

2021-10-22 10:08:28 +02:00

bop

…

constraint_solver

Sync github with google

2021-10-22 00:50:21 +02:00

dotnet

dotnet: Bump C# 7.3 -> 8.0

2021-10-12 23:23:57 +02:00

flatzinc

[FZ] bump bison version

2021-10-25 11:46:30 +02:00

glop

[GLOP] fix crash

2021-10-25 11:45:53 +02:00

graph

[GRAPH] fix max flow export to proto

2021-10-25 11:46:14 +02:00

gscip

change a bit the export code: propagate effect

2021-09-07 11:53:01 +02:00

gurobi

fix gurobi BUILD file

2021-10-07 17:32:42 +02:00

init

Add version info on python, java, .NET; add patch info on C++, #2861

2021-10-22 10:08:28 +02:00

java

[CP-SAT] Cleanup intervals (remove start/size/end fields, remove _view from the other ones); change demands and capacity of the cumulative constraint to affine expressions; remove the experimental energies field from the cumulative constraint; first pass at detecting linear encoding of product of variab;es. This happens when both variables are encoded by the same literals, in an exactly_one relation; speed up the lb_tree_search worker

2021-10-20 19:50:09 +02:00

linear_solver

improve CP-SAT linear solver backend

2021-10-12 10:51:57 +02:00

lp_data

use the solver logging class in GLOP

2021-10-07 17:32:30 +02:00

math_opt

…

packing

improve arc_flow_solver code

2021-10-03 07:42:22 +02:00

port

…

python

cmake: Rework python.cmake

2021-09-28 17:49:02 +02:00

sat

[CP-SAT] remove division expansion; implement general division propagator; improve internal APIs; fix bug and simplify code on lb_tree_search

2021-10-27 13:22:27 +02:00

scheduling

split ortools/data into ortools/scheduling and ortools/packing

2021-09-28 15:58:37 +02:00

util

improve precision of the domain modulo computation

2021-10-26 16:39:35 +02:00

__init__.py

…