diff options
Diffstat (limited to 'math/py-z3-solver/pkg-descr')
| -rw-r--r-- | math/py-z3-solver/pkg-descr | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/math/py-z3-solver/pkg-descr b/math/py-z3-solver/pkg-descr deleted file mode 100644 index 9bddb9d30bec..000000000000 --- a/math/py-z3-solver/pkg-descr +++ /dev/null @@ -1,4 +0,0 @@ -Python binding for Z3, a high-performance theorem prover developed -at Microsoft Research. - -WWW: https://github.com/Z3Prover/z3 |