Overview

What

The Ratiocinator for ConTeXt MkIV provides a couple of tool for typesetting, evaluating and visualizing propositional logic using a minimalist ascii input notation.

Status

All intended functionality implemented (needs testing); no documentation yet. No module structure, interface XML etc. yet. This will all be added in good time.

Precaution

For the syntax trees to work you will need to have either luagraph or graphviz installed on your system.

Provisional documentation

Until an official manual is written, please refer to the examples and the source documentation.

Who

The Ratiocinator was written and conceived by Philipp Gesang (megas.kapaneus at gmail dot com). Its home is a Mercurial repository at BitBucket:

hg clone https://phg@bitbucket.org/phg/context-ratiocinator

License

The Ratiocinator is licensed under the terms of the BSD license with two clauses. See the file COPYING for details.