2 Commits

Author	SHA1	Message	Date
Laurent Perron	54b8c24839	big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code	2025-01-15 13:51:40 +01:00
Corentin Le Molgat	5a20b0296e	backport sat fuzztest from main	2024-11-20 17:30:24 +01:00