Debian
z3 package

Branches for Sid

Name Status Last Modified Last Commit
lp:debian/z3 1 Development 2015-08-27 15:18:46 UTC
4. * De-duplicate files in python-z3, de...

Author: Michael Tautschnig
Revision Date: 2015-08-27 15:18:46 UTC

* De-duplicate files in python-z3, depend on libz3-dev instead
* Added bindings for java, OCaml, and .NET
* Use multi-arch library locations
1 → 1 of 1 result First • Previous • Next • Last