This page shows all known information about package libz3-dev.
libz3-dev - theorem prover from Microsoft Research - development files
From source: z3
debian/control- Section
- Architecture
- Distribution
This page shows all known information about package libz3-dev.
libz3-dev - theorem prover from Microsoft Research - development files
From source: z3
debian/controlCopyright © 2011-2013 Enrico Zini <enrico@debian.org>. See license terms. Source code is available.
Debtags is part of Debian.