The Wayback Machine - https://web.archive.org/web/20210327134314/https://github.com/marcogario
Skip to content
Avatar
  • Block or report user

    Block or report marcogario

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
12 followers · 2 following · 28

Highlights

  • Arctic Code Vault Contributor

Pinned

  1. pysmt/pysmt

    pySMT: A library for SMT formulae manipulation and solving

    Python 352 95

  2. aleaxit/gmpy

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

    C 292 61

  3. pysmt/mathsat-cffi

    CFFI Wrapper for MathSAT library

    Python 2 1

  4. pysmt/pyPicoSAT

    PicoSAT SAT Solver Python Wrapper

    C 1 3

  5. pysmt/repycudd

    Reentrant version of pycudd

    C 2

  6. pysmt/yicespy

    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
Learn how we count contributions.
Less More