Disproving false theorems using saturation
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src
tests
.gitignore
.merlin
.ocamlinit
.ocp-indent.conf
LICENSE
Makefile
README
README.md
_tags
myocamlbuild.ml
results

README.md

Mætning

This is an experiment in using the inverse method as an engine for disproving non-theorems.

  1. Prerequisites

  • Recent OCaml toolchain (programmed using 4.02.1)
  • OCaml Batteries Included (opam install batteries)
  • Menhir (opam install menhir)
  1. Building

Run make from the topmost directory.

The binary will be called maetning.native. Depending on your operating system, you may need to rename it to maetning.exe in order to run it.