Package: libz3 Source: z3 Version: 4.4.1-0 Architecture: amd64 Maintainer: Dan Liew Installed-Size: 16253 Depends: libc6 (>= 2.14), libgcc1 (>= 1:4.1.1), libgomp1 (>= 4.4), libstdc++6 (>= 4.6) Filename: ./amd64/libz3_4.4.1-0_amd64.deb Size: 5007358 MD5sum: 23dd7aa09ac777ad1fb4024998a60598 SHA1: 163a30a5561fd0324428bfb99a3d94be005d13a6 SHA256: 521ee9c363e0be984bb996ce9bba273afe5e2e3130f4fbe8ac6d803064246383 Section: math Priority: optional Homepage: https://github.com/Z3Prover/z3 Description: Shared library for Z3 SMT solver from Microsoft Research Package: libz3-dbg Source: z3 Version: 4.4.1-0 Architecture: amd64 Maintainer: Dan Liew Installed-Size: 82902 Depends: libz3 (= 4.4.1-0) Filename: ./amd64/libz3-dbg_4.4.1-0_amd64.deb Size: 82103792 MD5sum: 1f1a8fd017c5ea79f658fd8df7698a39 SHA1: fc1230c552fc2a00baac75ecb805b2641d360f1a SHA256: 183a6848291f33c528087160af08c1fa6876aad92175042c767a510c89767e3e Section: math Priority: optional Homepage: https://github.com/Z3Prover/z3 Description: Z3 library debug symbols Package: libz3-dev Source: z3 Version: 4.4.1-0 Architecture: amd64 Maintainer: Dan Liew Installed-Size: 450 Depends: libz3 (= 4.4.1-0) Filename: ./amd64/libz3-dev_4.4.1-0_amd64.deb Size: 62882 MD5sum: d364f75492e702349b69d004574e663d SHA1: 158f249a4a67c3ecda71d5bc16c50c4e109cafe8 SHA256: 83386406074fe7bab749b32da9f2ec2172d0759bacc881ec7b8820be75f975c5 Section: math Priority: optional Homepage: https://github.com/Z3Prover/z3 Description: Z3 library C/C++ header files Package: python-z3 Source: z3 Version: 4.4.1-0 Architecture: amd64 Maintainer: Dan Liew Installed-Size: 1157 Depends: libz3 (= 4.4.1-0), python (>= 2.7.3) Filename: ./amd64/python-z3_4.4.1-0_amd64.deb Size: 133774 MD5sum: 3e74b09baaa819d96d147f7c49caed1c SHA1: 1707f2a073732f50d2ecbca32576138150b50787 SHA256: d15b8b422f68cd58498f90d91e939bc1079be1d0a80464b166fac86dd7480a2c Section: math Priority: optional Homepage: https://github.com/Z3Prover/z3 Description: Python 2 bindings for the Z3 SMT solver from Microsoft Research Package: python3-z3 Source: z3 Version: 4.4.1-0 Architecture: amd64 Maintainer: Dan Liew Installed-Size: 1157 Depends: libz3 (= 4.4.1-0), python3 Filename: ./amd64/python3-z3_4.4.1-0_amd64.deb Size: 133878 MD5sum: c55a6fc3ba80de49e13f16a8156f19c9 SHA1: b2260dc7f6b0e1796013fdac2694e87ece6bec3c SHA256: d265e5299e2fb2bc295eba132f411b770ad43fe660ffa4fe16d074090335d47b Section: math Priority: optional Homepage: https://github.com/Z3Prover/z3 Description: Python 3 bindings for the Z3 SMT solver from Microsoft Research Package: z3 Version: 4.4.1-0 Architecture: amd64 Maintainer: Dan Liew Installed-Size: 15908 Depends: libc6 (>= 2.14), libgcc1 (>= 1:4.1.1), libgomp1 (>= 4.4), libstdc++6 (>= 4.6) Filename: ./amd64/z3_4.4.1-0_amd64.deb Size: 4981962 MD5sum: c7d92f20e428d9025f33d4a1f9372cbb SHA1: c4d45c46fd46d78a6be4df4cc7904960090a0001 SHA256: 4644f57406ac1c0a31348d5083b6092219b98f65554fb613e6080f3cfd7d09a2 Section: math Priority: optional Homepage: https://github.com/Z3Prover/z3 Description: An SMT solver from Microsoft Research Z3 is a SMT solver from Microsoft Research. It supports multiple input formats including smt, smt2 (see http://smt-lib.org) Datalog and DIMACS. Package: z3-dbg Source: z3 Version: 4.4.1-0 Architecture: amd64 Maintainer: Dan Liew Installed-Size: 84079 Depends: z3 (= 4.4.1-0) Filename: ./amd64/z3-dbg_4.4.1-0_amd64.deb Size: 83351514 MD5sum: c1dc86fb1a81f35d0ee9c8e3996af80c SHA1: 286fd61133be25f927fe71c46643c77a235f48ef SHA256: 5cf97a49f2875a71b19b068be9c401e11980441e895139235f25cd7e431bf19d Section: math Priority: optional Homepage: https://github.com/Z3Prover/z3 Description: Z3 executable debug symbols Package: z3-java Source: z3 Version: 4.4.1-0 Architecture: amd64 Maintainer: Dan Liew Installed-Size: 349 Depends: libc6 (>= 2.2.5), libz3 (= 4.4.1-0), default-jre-headless Filename: ./amd64/z3-java_4.4.1-0_amd64.deb Size: 170804 MD5sum: 4cf5d25c1e29575bb81c9876b21cab01 SHA1: bde36ae72118a97f5bc5fe7960835a9dff7c3485 SHA256: d94aeaadb948ab7887aced2760f2e352daa42061656fe6f4c9a2c5475b2c6955 Section: math Priority: optional Homepage: https://github.com/Z3Prover/z3 Description: Java bindings for the Z3 SMT solver from Microsoft Research Package: z3-sharp Source: z3 Version: 4.4.1-0 Architecture: amd64 Maintainer: Dan Liew Installed-Size: 249 Depends: libz3 (= 4.4.1-0), libmono-corlib4.0-cil, libmono-system4.0-cil Filename: ./amd64/z3-sharp_4.4.1-0_amd64.deb Size: 41332 MD5sum: 64882ec34cb4e090a99d58e9f4a706b6 SHA1: 50388af9a5ad6c022367c7e06d0e4161f740bab5 SHA256: ffb9428deccfff795e64cd37c7c2f3aa4ff95456130b704a03e3e4ba04a6a18d Section: math Priority: optional Homepage: https://github.com/Z3Prover/z3 Description: .NET bindings for the Z3 SMT solver from Microsoft Research