Laurent Perron 41c1ae1c15 speed up the disjunctive constraint in SAT

2018-05-22 17:13:52 +02:00

..

algorithms

speed up sat cumulative; add namespaces to base library + fix code

2018-04-11 13:00:30 +02:00

base

add jobshop scheduling proto + parser + sat solver

2018-04-18 13:37:29 +02:00

bop

speed up sat cumulative; add namespaces to base library + fix code

2018-04-11 13:00:30 +02:00

com/google/ortools

fix AddAutomata in C#

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

constraint_solver

Fix comments of the SequenceVar Rank functions

2018-05-02 22:56:06 -05:00

data

support assembly scheduling in the jobshop_scheduling.proto and corresponding examples/cpp/jobshop_sat.cc

2018-05-22 13:13:52 +02:00

flatzinc

[SAT] preprocess tasks with 0-1 demands in cumulative as optional tasks; fix scheduling code with optional intervals

2018-05-18 13:45:49 +02:00

fsharp

Correct file formatting

2018-04-20 14:58:27 -07:00

glop

change sat internal API; stop ignoring random seed in glop

2018-05-16 13:43:29 +02:00

graph

speed up sat cumulative; add namespaces to base library + fix code

2018-04-11 13:00:30 +02:00

linear_solver

rewrite drat checker for sat; make fz presolve deterministic; more optims on sat internals

2018-05-03 15:00:06 +02:00

lp_data

speed up sat cumulative; add namespaces to base library + fix code

2018-04-11 13:00:30 +02:00

port

add portable proto API

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

sat

speed up the disjunctive constraint in SAT

2018-05-22 17:13:52 +02:00

util

change sat internal API; stop ignoring random seed in glop

2018-05-16 13:43:29 +02:00

__init__.py

improve incrementality of glop when used in the sat solver; change more copyright dates; more documentation on the gate scheduling problem

2017-10-18 11:09:13 +02:00

CMakeLists.txt

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

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