package hardcaml_verify
Hardcaml Verification Tools
Install
Dune Dependency
Authors
Maintainers
Sources
hardcaml_verify-v0.16.0.tar.gz
sha256=b475dc8e540d9855b438309de3cf1984b28d29e7cd8a4d2b76d58a68894a8749
doc/src/hardcaml_verify.kernel/sat.ml.html
Source file sat.ml
1 2 3 4type 'model t = | Sat of 'model | Unsat [@@deriving sexp_of]