Avatar for Mathias Preiner from gravatar.com

Mathias Preiner

Username    mpreiner
Date joined   Joined

5 projects

PyBoolector

Last released

Python wrapper around the Boolector SMT solver

cvc5-gpl

Last released

Python bindings for cvc5 (GPL version)

cvc5

Last released

Python bindings for cvc5 (BSD version)

bitwuzla

Last released

Bitwuzla Satisfiability Modulo Theories Solver

ddSMT

Last released

A delta debugger for SMT-LIBv2 files
Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page