From 1e2f88c73baf18b21b24fa180e9598d90efaeb1c Mon Sep 17 00:00:00 2001 From: bdemsky Date: Wed, 18 Jul 2018 16:24:04 -0700 Subject: [PATCH] edit --- src/Backend/satencoder.cc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/Backend/satencoder.cc b/src/Backend/satencoder.cc index eebf4b0..8dab3ab 100644 --- a/src/Backend/satencoder.cc +++ b/src/Backend/satencoder.cc @@ -64,6 +64,9 @@ Edge SATEncoder::encodeConstraintSATEncoder(BooleanEdge c) { case PREDICATEOP: result = encodePredicateSATEncoder((BooleanPredicate *) constraint); break; + case BOOLCONST: + result = ((BooleanConst *) constraint)->isTrue() ? E_True : E_False; + break; default: model_print("Unhandled case in encodeConstraintSATEncoder %u", constraint->type); exit(-1); -- 2.34.1