/scipy-notebook-z3

A docker image based on of Jupyter's scipy-notebook with Microsoft's Z3 installed

MIT LicenseMIT

No issues in this repository yet.