smtlib2cvc4 Prerequisites All of CVC4 requirements clang-format Installation ./configure.sh make Usage ./smtlib2cvc4.sh <path> For example: ./smtlib2cvc4.out examples/example.smt2