context-ratiocinator /

Filename Size Date modified Message
277 B
1.3 KB
1.4 KB
4.8 KB
3.0 KB
4.7 KB
33.0 KB
8.3 KB


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


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


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.


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


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

Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.