Mizux Seiha 96263307e9 Bump csproj

2020-09-01 16:01:05 +02:00

..

csharp

CMake: dotnet rework

2020-03-05 15:18:21 +01:00

java

cmake(java): Add Maven Package (#202)

2020-05-18 14:15:47 +02:00

python

cmake(python): Fix module update

2020-05-20 18:46:57 +02:00

samples

Bump csproj

2020-09-01 16:01:05 +02:00

__init__.py

update license headers

2018-11-10 18:00:53 +01:00

BUILD

fix #2005; massive rewrite of pure sat processing; RINS/RENS improvements in CP-SAT; get rid of base/status.h in favor of the absl version

2020-05-06 18:22:10 +02:00

CMakeLists.txt

Force use of C++17

2020-08-14 14:07:58 +02:00

dense_doubly_linked_list.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

dynamic_partition.cc

bump abseil to the latest version, adapt the code all around

2019-11-20 14:28:11 -08:00

dynamic_partition.h

bump abseil to the latest version, adapt the code all around

2019-11-20 14:28:11 -08:00

dynamic_permutation.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

dynamic_permutation.h

update license headers

2018-11-10 18:00:53 +01:00

find_graph_symmetries.cc

fix #2005; massive rewrite of pure sat processing; RINS/RENS improvements in CP-SAT; get rid of base/status.h in favor of the absl version

2020-05-06 18:22:10 +02:00

find_graph_symmetries.h

fix #2005; massive rewrite of pure sat processing; RINS/RENS improvements in CP-SAT; get rid of base/status.h in favor of the absl version

2020-05-06 18:22:10 +02:00

hungarian_test.cc

all libraries compiles under bazel

2019-02-10 18:51:36 +01:00

hungarian.cc

fix #2005; massive rewrite of pure sat processing; RINS/RENS improvements in CP-SAT; get rid of base/status.h in favor of the absl version

2020-05-06 18:22:10 +02:00

hungarian.h

detect nans in hungarian

2019-10-21 16:49:32 +02:00

knapsack_solver_for_cuts.cc

sync indent, polish on SAT code; add RINS option for CP-SAT

2019-03-13 13:58:39 +01:00

knapsack_solver_for_cuts.h

sync indent, polish on SAT code; add RINS option for CP-SAT

2019-03-13 13:58:39 +01:00

knapsack_solver.cc

fix #2005; massive rewrite of pure sat processing; RINS/RENS improvements in CP-SAT; get rid of base/status.h in favor of the absl version

2020-05-06 18:22:10 +02:00

knapsack_solver.h

Sync g3 -> gh part_2

2020-03-09 18:34:21 +01:00

sparse_permutation.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

sparse_permutation.h

update license headers

2018-11-10 18:00:53 +01:00