Stefan Muenzel's repositories

Language:OCamlLicense:MPL-2.0Stargazers:0Issues:0Issues:0

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”.

License:NOASSERTIONStargazers:0Issues:0Issues:0

btor2tools

A generic parser and tool package for the BTOR2 format.

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cadical

CaDiCaL SAT Solver

Language:C++License:MITStargazers:0Issues:0Issues:0

coq-of-ocaml

Formal verification for OCaml

License:MITStargazers:0Issues:0Issues:0

cryptominisat

An advanced SAT solver

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

License:NOASSERTIONStargazers:0Issues:0Issues:0

elpi

Embeddable Lambda Prolog Interpreter

Language:PrologLicense:LGPL-2.1Stargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:0Issues:0

gh-mirror

Mirror all GitHub repositories for a user, maintaining metadata.

Language:PythonLicense:ISCStargazers:0Issues:0Issues:0

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.

License:NOASSERTIONStargazers:0Issues:0Issues:0

js-opam-repository

Opam repository for the development version of Jane Street packages

Stargazers:0Issues:0Issues:0
Language:CLicense:MITStargazers:0Issues:0Issues:0

libpoly

LibPoly is a C library for manipulating polynomials

Language:CLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

mc2

[research] A modular SMT solver in OCaml, based on mcSAT

License:Apache-2.0Stargazers:0Issues:0Issues:0

mercury

The Mercury logic programming system.

Language:MercuryLicense:NOASSERTIONStargazers:0Issues:0Issues:0

merlin

Context sensitive completion for OCaml in Vim and Emacs

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml-bitwuzla

Bitwuzla SMT solver repackaged for convenient use in opam.

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

ocaml-ci

A CI for OCaml projects

Stargazers:0Issues:0Issues:0

opensmt

The opensmt solver

License:NOASSERTIONStargazers:0Issues:0Issues:0

or-tools

Google's Operations Research tools:

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:OCamlLicense:MPL-2.0Stargazers:0Issues:0Issues:0

ppxlib

Base library and tools for ppx rewriters

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0
Language:OCamlLicense:MPL-2.0Stargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0

stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:OCamlLicense:MPL-2.0Stargazers:0Issues:0Issues:0

yices2

The Yices SMT Solver

License:GPL-3.0Stargazers:0Issues:0Issues:0
License:GPL-3.0Stargazers:0Issues:0Issues:0