Skip to content
GitLab
Explore
Sign in
SAT4J
sat4j
Repository
sat4j
..
pb
pb
ConflictMap.java
Find file
Blame
History
Permalink
Change the code of getBacktrackLevel() to improve the running time (n^2 instead of n^3).
· 7c32dbca
Daniel Le Berre
authored
Aug 23, 2017
7c32dbca