lperron@google.com a0015b3373 more propagation in int_{lt|le|gt|ge}_reif

2014-05-15 05:17:41 +00:00

..

algorithms

upgrade in the base library (strings::Join now supports int and int64 vectors), file operations uses status; improve the code on symmetries; API for assumptions on sat

2014-05-13 12:56:44 +00:00

base

fix

2014-05-13 14:53:04 +00:00

com/google/ortools

merge all .NET libraries into one; need to reorganize swig to make it work and to patch generated code;

2014-01-15 23:47:32 +00:00

constraint_solver

fix compilation, fix parsing of bool strategy in fz2

2014-05-13 15:10:59 +00:00

flatzinc

fix compilation, fix parsing of bool strategy in fz2

2014-05-13 15:10:59 +00:00

flatzinc2

more propagation in int_{lt|le|gt|ge}_reif

2014-05-15 05:17:41 +00:00

graph

upgrade in the base library (strings::Join now supports int and int64 vectors), file operations uses status; improve the code on symmetries; API for assumptions on sat

2014-05-13 12:56:44 +00:00

linear_solver

remove concise_iterator, replace by c++11 version; clean up LeastSignificantBitPosition{32|64}

2014-04-16 09:57:29 +00:00

ortools

sync with internal version; major work on sat solver (symmetries, speedups); speed up on routing library

2014-03-12 17:30:11 +00:00

sat

upgrade in the base library (strings::Join now supports int and int64 vectors), file operations uses status; improve the code on symmetries; API for assumptions on sat

2014-05-13 12:56:44 +00:00

util

fix display of memory

2014-05-13 13:47:04 +00:00