Skip to content
GitLab
Explore
Sign in
SAT4J
sat4j
Repository
sat4j
..
constraints
AbstractPBClauseCardConstrDataStructu...
Find file
Blame
History
Permalink
Add cardinality reduction after conflict analysis. Simplify code for
· ae736714
Anne Parrain
authored
Apr 10, 2017
clause reduction. Add a new solver in the solver factory.
ae736714