Popular repositories Loading

1. duet duet Public

   Duet: static analysis for unbounded concurrency

   OCaml 23 17

2. srk srk Public

   Symbolic Reasoning Kit

   OCaml 8 1

3. ocaml-mathsat ocaml-mathsat Public

   OCaml bindings for MathSAT 5

   OCaml 2 2

4. bench bench Public

   SMT 2 2

5. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

   Main public package repository for OPAM, the source package manager of OCaml.

   OCaml 1

6. llvm2smt llvm2smt Public

   Forked from termite-analyser/llvm2smt

   OCaml library to transform an Llvm control flow graph in an SMT formula.

   OCaml 1