Skip to main content
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 Google Google BigQuery Sentry Sentry Error logging CloudAMQP CloudAMQP RabbitMQ AWS AWS Cloud computing Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page