package kmt

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

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

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

Maintainers

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

Sources

0.1.tar.gz
sha256=9f365552a31c3bfeb16bdd76a95f9c368d1770e5e7151aba4db8aab655c6bf39
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