Performance History
Latest Results
Add decomposition for `regular` into `table_int`
Dekker1:feat/table_int
2 months ago
Add decomposition for `regular` into `table_int`
develop
2 months ago
Add support for the table_int constraint
Dekker1:feat/table_int
2 months ago
Fix regression caused by 4aa742b8a159aa74ba86c8a920bf183f11810707
develop
2 months ago
Fix regression caused by 4aa742b8a159aa74ba86c8a920bf183f11810707
Dekker1:fix/lazy_gt_in_eq
2 months ago
Avoid creating propagators for implication of integer literals
Dekker1:feat/implied_int_view
2 months ago
Ensure that conflicts from `Engine::check_solutions` are forgettable
Dekker1:feat/removable_conflict_clauses
2 months ago
Ensure that conflicts from `Engine::check_solutions` are forgettable
develop
2 months ago