search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

issue #17 #21

Closed rkatz36368 closed 9 years ago

rkatz36368 commented 9 years ago

adicionei o teste "equiv" no preproc