/smt-dialect

An SMT dialect for MLIR, to represent SMTLib programs. And tools to interact with SMT solvers.

Primary LanguagePythonOtherNOASSERTION

No issues in this repository yet.