Stefan Muenzel's repositories
bitwuzla
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 is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
btor2tools
A generic parser and tool package for the BTOR2 format.
cadical
CaDiCaL SAT Solver
coq-of-ocaml
Formal verification for OCaml
cryptominisat
An advanced SAT solver
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
gh-mirror
Mirror all GitHub repositories for a user, maintaining metadata.
git
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.
libpoly
LibPoly is a C library for manipulating polynomials
linux
Linux kernel source tree
mc2
[research] A modular SMT solver in OCaml, based on mcSAT
merlin
Context sensitive completion for OCaml in Vim and Emacs
ocaml
The core OCaml system: compilers, runtime system, base libraries
ocaml-bitwuzla
Bitwuzla SMT solver repackaged for convenient use in opam.
ocaml-ci
A CI for OCaml projects
opam-repository
Main public package repository for opam, the source package manager of OCaml.
opensmt
The opensmt solver
or-tools
Google's Operations Research tools:
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
xed
The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions
yices2
The Yices SMT Solver
z3
The Z3 Theorem Prover