package satML-plugin

  1. Overview
  2. Docs
Automatic theorem prover based on SMT technology and dedicated to program verification: satML plugin

Install

Dune Dependency

Authors

Maintainers

Sources

alt-ergo-0.99.1.tar.gz
md5=1fd351547441553a1d8ac543adda6cdb