package kappa-agents

  1. Overview
  2. No Docs
Backends for an interactive use of the Kappa tool suite

Install

Dune Dependency

Authors

Maintainers

Sources

v4.1.tar.gz
sha256=8ca79f1917e3b5b0e3606547d8be374321f8eb68dfbe62e805339ac82bc89fd1
sha512=7c944f27fd2b6752e48e2731b9217954b1f1624b30a5439ab00881d1def5b75aafb044051bdce858a1c766e407a888afeded831705b17fffc35bda02aae45eac