|
markomanninen's
repositories
|
|
dist
|
|
hyPLCParser
|
|
pyPLCParser
|
|
src
|
|
test
|
|
Hy -level PLCParser.ipynb
|
|
PLCParser in Hy.ipynb
|
|
Propositional Logic Clause Parser (PLCParser).ipynb
|
|
.gitignore
|
|
.travis.yml
|
|
LICENSE
|
|
README.md
|
|
bower.json
|
|
composer.json
|
|
composer.lock
|
|
custom-php.ini
|
|
index.php
|
|
package.json
|
|
phpunit.php
|
|
phpunit.xml
|
|
plcparser_icon.png
|
|
requirements.txt
|
|
travis-ci-apache
|
|
truth_tables.php
|
