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