opencompl/smt-dialect
An SMT dialect for MLIR, to represent SMTLib programs. And tools to interact with SMT solvers.
PythonNOASSERTION
No issues in this repository yet.
An SMT dialect for MLIR, to represent SMTLib programs. And tools to interact with SMT solvers.
PythonNOASSERTION
No issues in this repository yet.