Add IFF support
authorbdemsky <bdemsky@uci.edu>
Thu, 31 Aug 2017 05:46:46 +0000 (22:46 -0700)
committerbdemsky <bdemsky@uci.edu>
Thu, 31 Aug 2017 05:46:46 +0000 (22:46 -0700)
commitc6512d5af03c7089ecf99bce3b4946e12e04aa72
tree527a9bc1063b0581afc26fca9e72903281c5f291
parenta255c76241d54ef340c21c25a8c640e88988d204
Add IFF support
src/AST/ops.h
src/AST/rewriter.cc
src/ASTAnalyses/polarityassignment.cc
src/Backend/satencoder.cc
src/Backend/solver_interface.h
src/csolver.cc
src/csolver.h