Skip to content

feat(alldifferent): add Hall set learned clauses#178

Merged
lifebeyondfife merged 1 commit into
mainfrom
hall-sets
Jul 6, 2026
Merged

feat(alldifferent): add Hall set learned clauses#178
lifebeyondfife merged 1 commit into
mainfrom
hall-sets

feat(alldifferent): add Hall set learned clauses

ea759fd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jul 6, 2026 in 46s