Popular repositories Loading

1. fl_jikken fl_jikken Public

   OCaml 1 2

2. z3-cex z3-cex Public

   OCaml 1

3. benchmarks benchmarks Public

   Forked from hopv/benchmarks

   Functional program verification problems, as caml programs and as Horn clauses.

   SMT

4. rsmt2 rsmt2 Public

   Forked from kino-mc/rsmt2

   A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

   Rust

5. hoice hoice Public

   Forked from hopv/hoice

   An ICE-based predicate synthesizer for Horn clauses.

   Rust

6. r_type r_type Public

   Forked from AdrienChampion/r_type

   A model-checker for caml programs.

   OCaml