Skip to content
  • Stanford University




  • Pro


@CVC4 @SMT-LIB @Boolector @bitwuzla @ddsmt @cvc5
Block or Report

Block or report mpreiner

Block user

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

You must be logged in to block users.

Report abuse

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

Report abuse


  1. A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

    SMT 209 46

  2. A generic parser and tool package for the BTOR2 format.

    C 11 10

  3. cvc5 Public

    Forked from cvc5/cvc5

    CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.


  4. A delta debugger for SMT benchmarks in SMT-LIB v2.

    Python 29 13

1,087 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri

Contribution activity

January 2022

Created an issue in cvc5/cvc5-projects that received 2 comments

Fatal failure in nl::detect_ran_encoding() at src/theory/arith/nl/poly_conversion.cpp:668

cvc5/cvc5@acba737 murxla/murxla@4f03339 (set-logic QF_ANRAT) (declare-const x5 Bool) (declare-const x (Array Real Real)) (declare-const x8 Real) (a…


Seeing something unexpected? Take a look at the GitHub profile guide.