This is an experiment in using the inverse method as an engine for disproving non-theorems.
- Prerequisites
- Recent OCaml toolchain (programmed using 4.02.1)
- OCaml Batteries Included (
opam install batteries) - Menhir (
opam install menhir)
- 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.