Skip to content
GitLab
Explore
Sign in
SAT4J
sat4j
Repository
sat4j
..
pb
pb
MaxWatchPbLong.java
Find file
Blame
History
Permalink
Fix problem where those constraints are watched even if the
· 9e1613b5
Daniel Le Berre
authored
Sep 10, 2017
constraint is found to be contradictory.
9e1613b5