engine rename: node -> switch, constraint_tree -> decision_tree 11 months ago
examples Environment in source symbolic engine (#29) 11 months ago
paper explanation for inference rules (as comments) 11 months ago
.gitignore reworked examples 12 months ago
algorithm.md code review 1 year ago
grammar.bnf gabriel's fixes 1 year ago
journal journal up to 17-10 1 year ago
proofs.org clarify lines 65-68 1 year ago
test.py python test script 12 months ago
todo.org updated todo 11 months ago