nunchaku-inria

nunchaku Public

Model finder for higher-order logic

OCaml 41 BSD-2-Clause 3 13 (1 issue needs help) 0 Updated Dec 7, 2023

Set of problems for exercizing Nunchaku

SMT 1 0 1 0 Updated Nov 14, 2018

[not-working] Coq plugin for using Nunchaku from Coq

OCaml 3 1 1 0 Updated Jun 26, 2017

vagrant boxes for compiling nunchaku for several architectures

Ruby 0 0 0 0 Updated Dec 15, 2016

small archlinux package for kodkodi

Shell 0 0 0 0 Updated Nov 3, 2016

Vim syntax coloring for Nunchaku

Vim Script 0 MIT 0 0 0 Updated Oct 28, 2016

Nunchaku for Isabelle

Isabelle 1 0 0 0 Updated Oct 26, 2016

Isabelle 2 0 0 0 Updated Jun 21, 2016

Provide feedback