The Wayback Machine - https://web.archive.org/web/20210327134314/https://github.com/marcogario
Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor

Pinned

  1. pySMT: A library for SMT formulae manipulation and solving

    Python 352 95

  2. General Multi-Precision arithmetic for Python 2.6+/3+ (GMP, MPIR, MPFR, MPC)

    C 292 61

  3. CFFI Wrapper for MathSAT library

    Python 2 1

  4. PicoSAT SAT Solver Python Wrapper

    C 1 3

  5. Reentrant version of pycudd

    C 2

  6. Python Wrapper for the Yices SMT Solver

    SWIG 2 1

355 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri