Skip to content
GitLab
Explore
Sign in
SAT4J
sat4j
Repository
sat4j
..
pb
pb
ConflictMapReduceToCard.java
Find file
Blame
History
Permalink
Adds the possibility to choose whether obvious divisions should be applied automatically
· 185a687f
Romain WALLON
authored
Nov 22, 2017
185a687f