search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

Update tableaux-ext.lisp #7

Closed vinicius-f closed 9 years ago

vinicius-f commented 9 years ago

Modifiquei o preproc para que receba a formula com and e or normalmente, em vez de and* e or*.