search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

Issue #11 #22

Closed bernardorusso closed 9 years ago

bernardorusso commented 9 years ago

terminada a implementação das cláusulas "at most" alternativas

arademaker commented 9 years ago

aceitei com uma pequena correção no nome da função clauses-2b.