GitHub repository: Hatsunespica/xdsl-smt
Primary language: Python
Description: The implementation of an SMTLib dialect for xDSL