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.
elpi
Embeddable Lambda Prolog Interpreter
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.
js-opam-repository
Opam repository for the development version of Jane Street packages
libpoly
LibPoly is a C library for manipulating polynomials
mc2
[research] A modular SMT solver in OCaml, based on mcSAT
mercury
The Mercury logic programming system.
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
opensmt
The opensmt solver
or-tools
Google's Operations Research tools:
ppxlib
Base library and tools for ppx rewriters
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
yices2
The Yices SMT Solver