diff options
| -rw-r--r-- | README.md | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -9,9 +9,17 @@ Logic toolbox in [Clean](http://wiki.clean.cs.ru.nl/Clean). Features include: * Generating truth tables for expressions, possibly with intermediate steps * Displaying truth tables * Parsing strings to expressions + * A web frontend to access the Clean program through, so only server-side installation is necessary Read further for examples. +## Installation + +Set `CLEAN_HOME` to your Clean installation directory. To install the parser and the example program: + + clm -I $CLEAN_HOME/lib/StdLib -I $CLEAN_HOME/lib/ArgEnv LogicParser -o LogicParser + clm -I $CLEAN_HOME/lib/StdLib -I $CLEAN_HOME/lib/ArgEnv LogicTest -o LogicTest + ## Types ### Operators @@ -142,7 +150,7 @@ The option `-e` tells the parser to show the extended truth table. With this opt ## Web frontend -There is a simple web frontend in PHP and a basic HTML template which allows one to connect to the Clean application through his browser. The files for this are `index.html` and `request.php`, and a demo may be found on https://demo.camilstaps.nl/CleanLogic. +There is a simple web frontend in PHP and a basic HTML template which allows one to connect to the Clean application through his browser. The files for this are `index.html` and `request.php`, and a demo may be found on https://demo.camilstaps.nl/CleanLogic. For this to work, the `exec()` function should be enabled in your PHP configuration. ## Future ideas |