GitHub repository: opencompl/xdsl-smt
Primary language: Python
Created: 2023-01-27T18:33:25Z
Description: The implementation of an SMTLib dialect for xDSL