Avatar for Mate Soos from gravatar.com

Mate Soos

Username    msoos
Date joined   Joined

5 projects

pyganak

Last released

Bindings to Ganak, a high-performance exact model counter

pyapproxmc

Last released

Bindings to ApproxMC, an approximate model counter

pycryptosat

Last released

Bindings to CryptoMiniSat, an advanced SAT solver

pycmsgen

Last released

Bindings to CMSGen, uniform-like sampler

pyunigen

Last released

Bindings to UniGen, an approximate sampler

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page