package nunchaku

  1. Overview
  2. No Docs
A counter-example finder for higher-order logic, designed to be used from various proof assistants

Install

github.com Edit opam file

Authors

  1. S
    Simon Cruanes
  2. J
    Jasmin Blanchette

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

0.6.tar.gz
md5=dbe85810b12052207e1b27038be72b8d
sha512=f7d009d2bda679a127fca8a6f0432b9188f4622427003aa3600913369af364a64b72547f2002884dff4c89922a6b7209a80947080cbdb2fec81b9f8e65a1bd3f

Description

Published: 24 Oct 2018

Dependencies (8)

  1. ocaml >= "4.02.0"
  2. num
  3. base-threads
  4. base-unix
  5. sequence >= "1.0"
  6. menhir build & <= "20181026"
  7. containers >= "1.0"
  8. jbuilder >= "1.0+beta7"

Dev Dependencies (4)

  1. odoc with-doc
  2. ounit with-test
  3. qcheck with-test
  4. qtest with-test

Used by

None

Conflicts

None