summaryrefslogtreecommitdiff
path: root/math/py-z3
AgeCommit message (Expand)AuthorFilesLines
2019-11-02math: align variable assignmentsrillig1-3/+3
2018-12-23py-z3: set GITHUB_PROJECT to fix fetch stagewiz1-1/+2
2018-03-13Import a package for the Python bindings for math/z3khorben3-0/+53