Corentin Le Molgat 20c8ee05b8 CMake: fix dotnet_<targets>

2020-03-04 14:34:33 +01:00

..

CMakeLists.txt

CMake: fix dotnet_<targets>

2020-03-04 14:34:33 +01:00

Constraints.cs

allow modification of the CP-SAT model; add public setters and missing getters

2019-03-25 12:01:45 +01:00

CpModel.cs

fix #1601

2019-09-27 15:18:25 +02:00

CpSolver.cs

rewrite CP-SAT C# Linear implementation

2019-05-16 15:26:44 +02:00

IntegerExpressions.cs

query the domain from an IntVar in Python/Java/C# + tests; small speedup of sat reversible data structures

2020-01-24 12:20:08 -08:00

IntervalVariables.cs

enable public API to modify the CP-SAT model protobuf directly

2019-03-25 13:32:12 +01:00

sat.i

improve presolve; speed up diffn

2020-02-26 16:10:17 +01:00

SearchHelpers.cs

rewrite C# CP-SAT linear layer; still one bug

2019-05-13 10:59:04 +02:00