Skip to main content
This is a pre-production deployment of Warehouse. Changes made here affect the production instance of PyPI (
Help us improve Python packaging - Donate today!
Avatar for marco.gario from


  Joined on Feb 7, 2015

2 Projects


Last released on Aug 12, 2017

A solver-agnostic library for SMT Formulae manipulation and solving


Last released on Aug 1, 2017

Picosat SAT-Solver Wrapper

Supported By

Elastic Elastic Search Pingdom Pingdom Monitoring Dyn Dyn DNS Sentry Sentry Error Logging CloudAMQP CloudAMQP RabbitMQ Heroku Heroku PaaS Kabu Creative Kabu Creative UX & Design Fastly Fastly CDN DigiCert DigiCert EV Certificate Google Google Cloud Servers DreamHost DreamHost Log Hosting