Bug was introduced in proxy variable changes
authorbdemsky <bdemsky@uci.edu>
Thu, 2 Aug 2018 23:29:45 +0000 (16:29 -0700)
committerbdemsky <bdemsky@uci.edu>
Thu, 2 Aug 2018 23:29:45 +0000 (16:29 -0700)
src/Backend/satencoder.cc

index 52cc8dc..b13541d 100644 (file)
@@ -80,8 +80,6 @@ Edge SATEncoder::encodeConstraintSATEncoder(BooleanEdge c) {
                generateProxy(cnf, result, e, p);
                booledgeMap.put(constraint, e.node_ptr);
                result = e;
-       } else{
-               booledgeMap.put(constraint, result.node_ptr);
        }
 
        return c.isNegated() ? constraintNegate(result) : result;