package nunchaku
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A counter-example finder for higher-order logic.
Install
Dune Dependency
Authors
Maintainers
Sources
0.3.tar.gz
sha256=63895189463a1f44bffa5e9f2c204a1461829a525d5383749721bfa85149d847
md5=9303c94ba09772b272e0263fd0e7f27b
Description
Nunchaku is a counter-example finder for higher-order logic, designed to be used from various proof assistants, and a spiritual successor to Nitpick. It relies encodings and external solvers (CVC4, kodkod, paradox) to find models, thanks to its modular architecture.
Published: 05 Nov 2016
Dependencies (9)
- num
-
ocamlbuild
build - base-threads
- base-unix
- sequence
-
menhir
build & <= "20181026" -
containers
>= "0.16" & < "1.0" -
ocamlfind
build -
ocaml
>= "4.01.0" & < "4.04.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page