• An overlay for the OCaml Z3 binding.

    OCaml 24 5 MIT Updated Apr 21, 2018
  • Opam repository for termite-related packages.

    1 3 Updated Apr 21, 2018
  • OCaml library to transform an Llvm control flow graph in an SMT formula.

    OCaml 8 2 LGPL-2.1 Updated Apr 20, 2018
  • A termination analyser

    OCaml 7 2 Updated Apr 20, 2018
  • HTML Updated Jun 5, 2015