• phlo's avatar
    improved namespaces · b8314541
    phlo authored
    * moved BTOR2 and SMT-Lib encoders to the according namespace
    * removed using namespace std declarations
    b8314541
instruction.cc 7.41 KB