opencompl/xdsl-smt

The implementation of an SMTLib dialect for xDSL

Python

Issues

Installation Error with "pip install -e ." "ERROR: File "setup.py" not found. Directory cannot be installed in editable mode"
#1 opened a year ago by Hatsunespica
2