Adding checks to avoid further processing on UNSAT Problems
authorHamed Gorjiara <hgorjiar@uci.edu>
Tue, 19 Mar 2019 01:09:47 +0000 (18:09 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Tue, 19 Mar 2019 01:09:47 +0000 (18:09 -0700)
commitcbd921ee35b6a29934fd7cecccde7f160228af17
treebb18cd85a1d43fe2cedfbebb04bf79b7105a8008
parent4fd5cd60484d477ef7110813d8206325f75822ea
Adding checks to avoid further processing on UNSAT Problems
13 files changed:
src/ASTAnalyses/Encoding/encodinggraph.cc
src/ASTAnalyses/Polarity/polarityassignment.cc
src/ASTTransform/decomposeordertransform.cc
src/ASTTransform/elementopt.cc
src/ASTTransform/integerencoding.cc
src/ASTTransform/preprocess.cc
src/ASTTransform/varorderingopt.cc
src/Backend/satencoder.cc
src/Encoders/naiveencoder.cc
src/Test/deserializersolveprintopt.cc
src/common.mk
src/csolver.cc
src/csolver.h