- Montréal, Québec, Canada
- http:https://brea.ndan.co
- @breandan
Highlights
Block or Report
Block or report breandan
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLanguage: SMT
Sort by: Most stars
Starred repositories
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …
Code2Inv: Learning Loop Invariants for Program Verification
grigoryfedyukovich / aeval
Forked from seahorn/seahornAE-solver and Skolemizer
Regular Invariant Generator and SMTLIB2 code transformer
Artifact for the PLDI 2021 paper: Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints.
wky / aeval
Forked from grigoryfedyukovich/aevalAE-solver and Skolemizer