package soteria

  1. Overview
  2. No Docs
Soteria is a toolkit for writing symbolic bug-finding tools

Install

dune-project
 Dependency

Authors

Maintainers

Sources

v0.1.0.tar.gz
md5=8f15271b81e34caa12a39e3b7a63313a
sha512=5f6987cf362bc06402d9bed324c7b060384d7ef02479e2a614ca4b4122cc65082f6afc892c398c6562b0eb42fc13d6cc77e76c2518221590576215aaa00ee5bd

Description

Soteria is a toolkit for writing symbolic bug-finding tools

Published: 03 Jul 2026

Dev Dependencies (7)

  1. ocaml-lsp-server with-dev-setup
  2. ocamlformat with-dev-setup & = "0.29.0"
  3. qcheck-alcotest with-test
  4. qcheck-core with-test
  5. alcotest with-test
  6. mdx with-test
  7. odoc with-doc

Used by

None

Conflicts

None