Laurent Perron 06dcefa8e3 use sat backend for fz by default

2017-09-11 13:12:43 +02:00

..

algorithms

…

base

Added -lz to recordio, to fix all the zlib linking problems.

2017-09-05 16:29:10 +02:00

bop

internal improvements of the sat solver; change in the cp_model proto to support linear objective

2017-06-28 14:33:56 +02:00

com/google/ortools

fix RouteModel SetVehicleCost and methods that take NodeEvaluator2 array so they hold references so native code does not have a reference that can be gc'ed. Remove aux methods from RouteMethod. Add GC.SupressFinalize to DisownAndGetPermanentCallback as after DisownAndGetPermanentCallback gets called there is no work required by finalizer anymore.

2017-09-06 01:23:25 -07:00

constraint_solver

fix DisownAndGetPermanentCallback not getting called on NodeEvaluator2 when array is used.

2017-09-07 00:57:03 -07:00

flatzinc

use sat backend for fz by default

2017-09-11 13:12:43 +02:00

glop

improve scaling

2017-09-06 10:17:38 +02:00

graph

minor improvement to internal comments

2017-09-08 13:58:10 +02:00

linear_solver

minor improvement to internal comments

2017-09-08 13:58:10 +02:00

lp_data

improve scaling

2017-09-06 10:17:17 +02:00

port

fix bazel support after creation of ortools/port directory

2017-08-02 14:35:12 -07:00

sat

revamp internal of simplex connection inside sat

2017-09-11 13:12:27 +02:00

util

using uint64 overflow instead of int64 overflow which are undefined

2017-09-06 10:18:39 +02:00

__init__.py

…

CMakeLists.txt

…