Laurent Perron 7a07804ffa minor sync

2017-08-07 12:29:30 -07:00

..

algorithms

Merge pull request #398 from ambasta/master

2017-06-05 17:43:39 +02:00

base

minor adjustments with internal code

2017-08-02 14:15:55 -07: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

cleanups and minor syncs; sat: add LP guided heuristics

2017-08-03 10:20:59 -07:00

constraint_solver

fix crash in default search

2017-07-18 13:07:42 -07:00

flatzinc

minor sync with internal code

2017-08-02 10:41:27 -07:00

glop

improve SAT/LP connection

2017-07-12 11:38:46 -07:00

graph

cleanups and minor syncs; sat: add LP guided heuristics

2017-08-03 10:20:59 -07:00

linear_solver

cleanups and minor syncs; sat: add LP guided heuristics

2017-08-03 10:20:59 -07:00

lp_data

add lp_data/model_reader

2017-08-07 12:29:16 -07:00

port

fix bazel support after creation of ortools/port directory

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

sat

minor sync

2017-08-07 12:29:30 -07:00

util

minor sync

2017-08-07 12:29:30 -07:00

__init__.py

missing file

2017-04-26 17:57:49 +02:00

CMakeLists.txt

Added cmake support for C++, initial python build support

2017-05-30 12:02:56 +05:30