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

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.

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 ProjectModifiedEvent.java.
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.