Laurent Perron 2345ae5da7 fix bazel build

2019-04-24 13:44:32 +02:00

..

accurate_sum.h

…

adjustable_priority_queue-inl.h

…

adjustable_priority_queue.h

plenty of minor format issues; fix one numerical issue with glop; improve cut management in CP-SAT; automatic tightening of big-M in CP-SAT

2019-04-08 19:00:46 +02:00

base_export.h

…

base.i

…

basictypes.h

…

bitmap.cc

…

bitmap.h

plenty of minor format issues; fix one numerical issue with glop; improve cut management in CP-SAT; automatic tightening of big-M in CP-SAT

2019-04-08 19:00:46 +02:00

BUILD

fix bazel build

2019-04-24 13:44:32 +02:00

canonical_errors.h

Fix scip_interface.cc

2019-04-23 16:08:58 +02:00

cleanup.h

…

CMakeLists.txt

Rework CMake dependencies management (Fix #1116)

2019-04-11 13:47:05 +02:00

commandlineflags.h

…

encodingutils.h

…

file.cc

plenty of minor format issues; fix one numerical issue with glop; improve cut management in CP-SAT; automatic tightening of big-M in CP-SAT

2019-04-08 19:00:46 +02:00

file.h

…

filelineiter.h

…

hash.h

…

int128.h

fix

2019-04-18 14:18:50 +02:00

int_type_indexed_vector.h

plenty of minor format issues; fix one numerical issue with glop; improve cut management in CP-SAT; automatic tightening of big-M in CP-SAT

2019-04-08 19:00:46 +02:00

int_type.h

plenty of minor format issues; fix one numerical issue with glop; improve cut management in CP-SAT; automatic tightening of big-M in CP-SAT

2019-04-08 19:00:46 +02:00

integral_types.h

…

iterator_adaptors.h

…

jniutil.h

plenty of minor format issues; fix one numerical issue with glop; improve cut management in CP-SAT; automatic tightening of big-M in CP-SAT

2019-04-08 19:00:46 +02:00

logging.cc

…

logging.h

…

macros.h

…

map_util.h

plenty of minor format issues; fix one numerical issue with glop; improve cut management in CP-SAT; automatic tightening of big-M in CP-SAT

2019-04-08 19:00:46 +02:00

mathutil.h

plenty of minor format issues; fix one numerical issue with glop; improve cut management in CP-SAT; automatic tightening of big-M in CP-SAT

2019-04-08 19:00:46 +02:00

murmur.h

…

protobuf_util.h

add constraint with index in linear solver (API + Proto); rewrite MPS reader/writer; update base library as needed

2019-04-18 19:18:48 +02:00

protoutil.h

…

ptr_util.h

…

python-swig.h

…

random.cc

…

random.h

plenty of minor format issues; fix one numerical issue with glop; improve cut management in CP-SAT; automatic tightening of big-M in CP-SAT

2019-04-08 19:00:46 +02:00

recordio.cc

plenty of minor format issues; fix one numerical issue with glop; improve cut management in CP-SAT; automatic tightening of big-M in CP-SAT

2019-04-08 19:00:46 +02:00

recordio.h

plenty of minor format issues; fix one numerical issue with glop; improve cut management in CP-SAT; automatic tightening of big-M in CP-SAT

2019-04-08 19:00:46 +02:00

small_map.h

…

small_ordered_set.h

…

status_macros.h

add constraint with index in linear solver (API + Proto); rewrite MPS reader/writer; update base library as needed

2019-04-18 19:18:48 +02:00

status.h

plenty of minor format issues; fix one numerical issue with glop; improve cut management in CP-SAT; automatic tightening of big-M in CP-SAT

2019-04-08 19:00:46 +02:00

statusor.h

add constraint with index in linear solver (API + Proto); rewrite MPS reader/writer; update base library as needed

2019-04-18 19:18:48 +02:00

stl_util.h

…

sysinfo.cc

…

sysinfo.h

…

thorough_hash.h

…

threadpool.cc

…

threadpool.h

…

timer.cc

…

timer.h

…

typeid.h

…