package kmt

  1. Overview
  2. Docs
Framework for deriving Kleene Algebras with Tests (KAT)

Install

github.com Readme MIT License Edit opam file

Authors

  1. M
    Michael Greenberg <michael@greenberg.science>

Maintainers

  1. M
    Michael Greenberg <michael@greenberg.science>

Sources

0.1.tar.gz
md5=55d4e5443ae5f8ebf6d539ea6ca564d8

Description

Published: 23 Jun 2022

Dependencies (10)

  1. dune >= "3.0"
  2. ppx_deriving >= "5.2"
  3. cmdliner >= "1.1"
  4. logs >= "0.7"
  5. alcotest >= "1.5"
  6. fmt >= "0.9"
  7. ANSITerminal >= "0.8"
  8. batteries >= "3.5"
  9. z3 >= "4.8"
  10. ocaml >= "4.12"

Dev Dependencies

None

Used by

None

Conflicts

None