Vincent Furnon 99a9abb74d Better support of clang/llvm in saturated arithmetic code.

2015-06-01 20:54:55 +02:00

..

algorithms

Major update of SAT code.

2015-04-17 15:52:52 +02:00

base

Adapting glop for Android.

2015-05-18 17:13:33 +02:00

bop

Scale the objective before applying the revised simplex algorithm.

2015-05-30 01:12:55 +02:00

com/google/ortools

add back InsertAll on c# IntTupleSet

2015-02-04 09:42:54 +00:00

constraint_solver

Fix CP solver after change in saturated arithmetic.

2015-05-28 07:39:44 +02:00

flatzinc

tidy free search stats in flatzinc

2015-05-27 10:17:27 -07:00

glop

Scale the objective before applying the revised simplex algorithm.

2015-05-30 01:12:55 +02:00

graph

Porting code to C++11 standard.

2015-05-18 15:46:10 +02:00

linear_solver

Linear solver: removed useless error codes in protocol buffer.

2015-05-21 15:08:54 +02:00

lp_data

Scale the objective before applying the revised simplex algorithm.

2015-05-30 01:12:55 +02:00

ortools

rewrite swig

2014-07-09 10:01:48 +00:00

sat

Allow to easily print a SatSolver::Status.

2015-05-30 01:17:24 +02:00

util

Better support of clang/llvm in saturated arithmetic code.

2015-06-01 20:54:55 +02:00