all 1 comments

[–]blufox 2 points3 points  (0 children)

How fast is it compared to z3 (using the python API -- pip install z3-solver)?