Laurent Perron b899e25cec [CP-SAT] fix a few fuzzer bugs; preserve a bit more hints during presolve; change max_clique heuristics used in presolve

2024-11-15 07:30:45 +01:00

..

contrib

chore: remove repetitive words in comments

2024-05-30 10:51:55 +02:00

cpp

[CP-SAT] fix a few fuzzer bugs; preserve a bit more hints during presolve; change max_clique heuristics used in presolve

2024-11-15 07:30:45 +01:00

dotnet

cmake: rework dotnet helper functions

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

flatzinc

backport example/ from main

2024-05-30 10:51:54 +02:00

java

fix java

2024-10-09 14:02:15 +02:00

notebook

examples: sync notebooks

2024-08-12 13:05:53 +02:00

python

polish python examples: use string interpolations; remove many mypy warnings

2024-07-26 00:49:56 +02:00

service

examples: add service example

2024-07-12 16:22:07 +02:00

tests

backport main/

2024-10-14 16:47:46 +02:00