Laurent Perron c2e1e16ac0 add solution observer on cp_model_solver

2017-07-10 11:12:05 -07:00

..

algorithms

Merge pull request #398 from ambasta/master

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

base

safe version of sprintf and strcpy

2017-07-05 16:25:39 -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

…

constraint_solver

Merge branch 'master' of https://github.com/google/or-tools

2017-06-08 16:37:44 +02:00

flatzinc

cleanup of flatzinc code

2017-07-07 11:12:11 -07:00

glop

add getters API to glop

2017-07-10 11:10:04 -07:00

graph

fix bazel build

2017-06-08 12:48:45 +02:00

linear_solver

add solution observer on cp_model_solver

2017-07-10 11:12:05 -07:00

lp_data

add solution observer on cp_model_solver

2017-07-10 11:12:05 -07:00

sat

add solution observer on cp_model_solver

2017-07-10 11:12:05 -07:00

util

add solution observer on cp_model_solver

2017-07-10 11:12:05 -07:00

__init__.py

…

CMakeLists.txt

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

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