Open EthanJamesLew opened 11 months ago
Hi Ethan,
Thank you very much for pointing this out and sorry that this cause problem to you. We will update the dependencies for the tool. Please let us know if you encounter any other problems while using it.
Issue When running
pip install -r requirements
I receive the errorSystem Description M2 Mac Pro Python Python 3.9.18 (Using conda)
My Fix Switch to
z3-solver==4.12.2.0
andmatplotlib==3.8.0
. The tests pass after doing this.Possible Fixes