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).
· 86033abb
Daniel Le Berre
authored
Aug 23, 2017
and
Daniel Le Berre
committed
Oct 25, 2017
86033abb