kmt

Framework for deriving Kleene Algebras with Tests (KAT)
Description
Install
Published
23 Jun 2022
Authors
Maintainers
Sources
0.1.tar.gz
md5=55d4e5443ae5f8ebf6d539ea6ca564d8
Dependencies
dune >= "3.0"
cmdliner >= "1.1"
logs >= "0.7"
alcotest >= "1.5"
fmt >= "0.9"
batteries >= "3.5"
z3 >= "4.8"
ocaml >= "4.12"
Reverse Dependencies