Laurent Perron b238ebbdda Some fixes in the pure-SAT part of the cp_model solver: ...

- Use the model time limit (to make ^C work)
- Take into account some part of the presolve in the deterministic time.
- Move the drat flag there.

2018-02-23 17:28:21 +01:00

..

algorithms

finish C$ Sat Integer API; Refactor Glop code; Add new option for Glop Scaling; speed improvements in the sat solver

2018-02-16 17:08:01 +01:00

base

Fix winsock2.h redefinitions (#579)

2018-02-12 13:21:23 +01:00

bop

finish C$ Sat Integer API; Refactor Glop code; Add new option for Glop Scaling; speed improvements in the sat solver

2018-02-16 17:08:01 +01:00

com/google/ortools

fix AddAutomata in C#

2018-02-22 15:26:24 +01:00

constraint_solver

Move CMake gflags target to its own namespace.

2018-02-06 14:16:37 +01:00

data

Move CMake gflags target to its own namespace.

2018-02-06 14:16:37 +01:00

flatzinc

change the LP relaxation in the sat/circuit constraint; change API to accept a sparse set of arcs instead of next variables

2018-01-18 17:56:55 -08:00

fsharp

Adding Makefile to create library and referecing library only.

2018-01-18 17:49:33 -08:00

glop

finish C$ Sat Integer API; Refactor Glop code; Add new option for Glop Scaling; speed improvements in the sat solver

2018-02-16 17:08:01 +01:00

graph

Move CMake gflags target to its own namespace.

2018-02-06 14:16:37 +01:00

linear_solver

finish C$ Sat Integer API; Refactor Glop code; Add new option for Glop Scaling; speed improvements in the sat solver

2018-02-16 17:08:01 +01:00

lp_data

make method const

2018-02-23 16:28:14 +01:00

port

add portable proto API

2018-02-12 11:38:54 +01:00

sat

Some fixes in the pure-SAT part of the cp_model solver:

2018-02-23 17:28:21 +01:00

util

change BitOffset64 API to return uint32

2018-02-12 11:39:56 +01:00

__init__.py

…

CMakeLists.txt

…