Normalize parenthesized and negated expressions
authorDavid Kerkeslager <kerkeslager@gmail.com>
Tue, 8 Aug 2017 18:07:34 +0000 (14:07 -0400)
committerDavid Kerkeslager <kerkeslager@gmail.com>
Tue, 8 Aug 2017 18:07:34 +0000 (14:07 -0400)
commit1852539af30c364a11d2e2a0bb7944102293dcf6
tree4421813aba73df5ae2c1a88d13cc8a05f65d4d0b
parent2f7d76f2fc50763953b7268e0fe6558aac260187
Normalize parenthesized and negated expressions
normalization.py
parsing.py
transformation.py