Laurent Perron 1de64adc76 [CP-SAT] small fixes, reindent

2025-04-30 13:54:23 +02:00

..

CMakeLists.txt

Bump copyright to 2025

2025-01-10 11:33:35 +01:00

Constraints.cs

Bump copyright to 2025

2025-01-10 11:33:35 +01:00

CpModel.cs

Bump copyright to 2025

2025-01-10 11:33:35 +01:00

CpSolver.cs

[CP-SAT] small fixes, reindent

2025-04-30 13:54:23 +02:00

IntegerExpressions.cs

Bump copyright to 2025

2025-01-10 11:33:35 +01:00

IntervalVariables.cs

Bump copyright to 2025

2025-01-10 11:33:35 +01:00

sat.i

[CP-SAT] fix potential race when stopping a search asynchronously

2025-03-25 11:22:07 -07:00

SatSolverTests.cs

dotnet: Fix SatSolverTests.cs

2025-03-28 11:53:38 +01:00

SearchHelpers.cs

Bump copyright to 2025

2025-01-10 11:33:35 +01:00