Repositories list

• nunchaku

  Public
  Model finder for higher-order logic

  logicproof-assistantisabelle+ 5satmodel-findingcvc4higher-orderhol

  OCaml

  •

  BSD 2-Clause "Simplified" License

  •3•41•13•0•Updated Dec 7, 2023Dec 7, 2023

• nunchaku-problems

  Public
  Set of problems for exercizing Nunchaku

  SMT

  •0•1•1•0•Updated Nov 14, 2018Nov 14, 2018

• nunchaku-coq

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

  OCaml

  •1•3•1•0•Updated Jun 26, 2017Jun 26, 2017

• nunchaku-vagrant

  Public
  vagrant boxes for compiling nunchaku for several architectures

  Ruby

  •0•0•0•0•Updated Dec 15, 2016Dec 15, 2016

• kodkodi-pkg

  Public
  small archlinux package for kodkodi

  Shell

  •0•0•0•0•Updated Nov 3, 2016Nov 3, 2016

• vim-nunchaku

  Public
  Vim syntax coloring for Nunchaku

  Vim Script

  •

  MIT License

  •0•0•0•0•Updated Oct 28, 2016Oct 28, 2016

• isabelle-nunchaku

  Public
  Nunchaku for Isabelle

  Isabelle

  •0•1•0•0•Updated Oct 26, 2016Oct 26, 2016

• tlaps-nunchaku

  Public
  Isabelle

  •0•2•0•0•Updated Jun 21, 2016Jun 21, 2016