Skip to content
GitLab
Explore
Sign in
SAT4J
sat4j
Repository
sat4j
..
pb
pb
ConflictMapReduceByPowersOf2.java
Find file
Blame
History
Permalink
add a new PBCP solver CuttingPlanesReduceByPowersOf2 (divide by 2
· fde45e66
Anne Parrain
authored
Apr 28, 2017
coefficients as much as possible during conflict analysis)
fde45e66