Laurent Perron df97cd5776 [CP-SAT] reorganize code

2024-11-29 14:30:29 +01:00

..

CMakeLists.txt

cmake: rework dotnet helper functions

2024-01-18 11:22:38 +01:00

Constraints.cs

fix

2024-10-25 17:56:21 +02:00

CpModel.cs

[CP-SAT] reorganize code

2024-11-29 14:30:29 +01:00

CpSolver.cs

[CP-SAT] fix best bound callback non C++ code; more work on pseudo-costs

2024-05-30 10:52:46 +02:00

IntegerExpressions.cs

[CP-SAT] polish c# code; remove failing DCHECK

2024-07-22 14:09:07 +02:00

IntervalVariables.cs

…

sat.i

[CP-SAT] code cleanup; more pseudo-cost experimental code; add objective best bound callback

2024-05-30 10:52:46 +02:00

SatSolverTests.cs

[CP-SAT] move code around; add more tests

2024-10-23 15:47:31 +02:00

SearchHelpers.cs

…