A lightweight tool for reading Johann databases
C++
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
example
lib
.gitignore
README.md

README.md

Johann-DB

A lightweight tool for reading Johann dababases.

The Johann system is a toolset for reasoning about combinatory algebras. It includes both logical deductive algorithms (theorem-proving) and statistical analysis algorithms for large combinatory databases. Johann can be used to build large database of combinators --essentially multiplication tables for functional programs.

The Johann-DB library allows other programs to use the combinator databases created by Johann.

Usage

  1. include lib/jdb.h in your C++ code

  2. create a Johann::Database object in tour C++ code

  3. compile and link lib/jdb.cpp with your C++ target

  4. download a database (.jdb file) from http://fritzo.org/johann

Examples

see johann-db/examples