Package: libz3 Source: z3 Version: 4.4.1-0 Architecture: amd64 Maintainer: Dan Liew Installed-Size: 17070 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: 7358774 MD5sum: 276d672acdc3f71fed03f13eac4e9904 SHA1: 10fd132e209ccb606fce64e867f920dd263120bb SHA256: 74ca0e97c96ff87fbd18319e6bd2e4690cc50e3f08749b34141a0d4fc3346238 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: 75551 Depends: libz3 (= 4.4.1-0) Filename: ./amd64/libz3-dbg_4.4.1-0_amd64.deb Size: 74990502 MD5sum: 1225aaa77509203dcf07568b41abad28 SHA1: 73b29b2bae35c99848ecd7e1f9cb34e77e78d2f8 SHA256: fc8a2fcdbd0d5a6570df07f3d37f5f974a996809b4ad36bc23d6f6adaaa11caf 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: 75344 MD5sum: 9ab5f0ad50b607b1951f111b901efbe3 SHA1: 85853819cecc7087bada02ee9c7aee59764f734e SHA256: 6ce59851fd9aa7b826074427862da90700105ff9a433d9a53ab8b2004f0f2b38 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: 201000 MD5sum: 1c010750f87df13364e49d191e57047c SHA1: 601a81e7d450829961066267551a253926f63e8c SHA256: d26ebc356abd9fbd5ef474cce2aebe87b99be8b1fa3e16b504c848d02cc5747e 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: 200980 MD5sum: b30b85045cf99a7316168eeb1e5a63c4 SHA1: 595b2b4e2413a52530dfbd64512de2177550be88 SHA256: 75ba5bc7fe566814a88bb9fc1912f42554c6b1e95e4ca25a21e048c725a2d2c7 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: 16608 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: 7270896 MD5sum: 851376f28d7b07ef9922e28c9e3243a1 SHA1: c64074a0640e216755a0dbcb7ef825c6fa44b65f SHA256: 526536ed5d36d0dac27aca47d8181ce3388dddce5cbe8fba2ec7e99cacf27189 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: 76428 Depends: z3 (= 4.4.1-0) Filename: ./amd64/z3-dbg_4.4.1-0_amd64.deb Size: 75915590 MD5sum: 6763e444cc72bbf45ec853de41de57bd SHA1: 6fd8be4d734eabd71409bf8677dfd995ede0f6a2 SHA256: bdccd15ca3d9b4a16e8c35227a5e01484997ce09702a91a1d0a77e24754b85a6 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: 353 Depends: libc6 (>= 2.2.5), libz3 (= 4.4.1-0), default-jre-headless Filename: ./amd64/z3-java_4.4.1-0_amd64.deb Size: 186926 MD5sum: 8c49630a39409bb6f8a4a639bfcf264a SHA1: ecc309957283f727cb6bbfd168924bc9c3200848 SHA256: 32e2626007008b11b7f71f27971710a8eebd07712d749fd3066c99644711545c 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: 258 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: 58930 MD5sum: ee7c2680935f36355456f6abd9a62e11 SHA1: 1d684beda9bfcce891c8f0a505f63852599a81c0 SHA256: 4effa5c7247e70080605abc18ad520413b6f867ad5d41ff0d207a519b6f10623 Section: math Priority: optional Homepage: https://github.com/Z3Prover/z3 Description: .NET bindings for the Z3 SMT solver from Microsoft Research