System-Verification-Lab / Quokka-Sharp

2 stars 0 forks source link

QCMC / QCEC in pip #24

Closed alaarman closed 8 months ago

alaarman commented 9 months ago

If the tool is packaged #23, it would be nice to be able to install it with pip.

I am not sure how much effort this requires. Does someone in the group or in LIACS know how to do this?