• Home
• tools.aqua
• cvc5-turnkey
• 1.2.0
• source code
• cvc5_strict_smtlib

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

cvc5-cvc5-1.2.0.contrib.cvc5_strict_smtlib Maven / Gradle / Ivy

#!/usr/bin/env bash

cvc5="${CVC5_HOME}/cvc5"

# This is the set of command line arguments that is required to be strictly
# complaint with the input and output requirements of the current SMT-LIB
# standard.
"$cvc5" --lang=smt2 --output-lang=smt2 --strict-parsing --expr-depth=-1 --print-success --incremental --abstract-values $@