/CHCReasoner

Simple Horn Clause Reasoner

Primary LanguagePython

Stargazers