diff options
Diffstat (limited to 'math/z3/pkg-descr')
| -rw-r--r-- | math/z3/pkg-descr | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/math/z3/pkg-descr b/math/z3/pkg-descr index 18ec9996b873..38ac65f60728 100644 --- a/math/z3/pkg-descr +++ b/math/z3/pkg-descr @@ -1,4 +1,2 @@ Z3 is a high-performance theorem prover developed at Microsoft Research. - -WWW: https://github.com/Z3Prover/z3 |