package nunchaku
A counter-example finder for higher-order logic.
Install
Dune Dependency
Authors
Maintainers
Sources
0.4.tar.gz
sha256=c25e97fb0994a6866d4d30e6337e46c9f29f44e1d3a3a29f0ebd6352bd135405
md5=9faabbe893c651628374f79f56cb74a0
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, smbc) to find models, thanks to its modular architecture.
Published: 15 Feb 2017
Dependencies (9)
- num
-
ocamlbuild
build
- base-threads
- base-unix
- sequence
-
menhir
build & <= "20181026"
-
containers
>= "1.0"
-
ocamlfind
build
-
ocaml
>= "4.01.0" & < "4.06.0"
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page