Stefan Muenzel's repositories
opam-repository
Main public package repository for opam, the source package manager of OCaml.
z3
The Z3 Theorem Prover
linux
Linux kernel source tree
ocaml
The core OCaml system: compilers, runtime system, base libraries
xed
The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions
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.
coq-of-ocaml
Formal verification for OCaml
merlin
Context sensitive completion for OCaml in Vim and Emacs
gh-mirror
Mirror all GitHub repositories for a user, maintaining metadata.
mc2
[research] A modular SMT solver in OCaml, based on mcSAT
or-tools
Google's Operations Research tools:
ocaml-ci
A CI for OCaml projects
ocaml-bitwuzla
Bitwuzla SMT solver repackaged for convenient use in opam.
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”.
opensmt
The opensmt solver
btor2tools
A generic parser and tool package for the BTOR2 format.
yices2
The Yices SMT Solver
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
cryptominisat
An advanced SAT solver
libpoly
LibPoly is a C library for manipulating polynomials
cadical
CaDiCaL SAT Solver
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors