Adding table-based implementation of predicates and new config for encoding negation...
-rw-r--r-- 118 .gitignore
drwxr-xr-x - design
drwxr-xr-x - papers
drwxr-xr-x - src