Skip to content



Block or Report

Block or report marcogario

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

Report abuse

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

Report abuse


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

    Python 359 97

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

    C 300 62

  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

299 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri
Activity overview
Contributed to dsp-testing/codeql-split, pysmt/pysmt, github/codeql-action and 5 other repositories