A Reasoning System for a First-Order Logic of Limited Belief, written in C++
Primary LanguageC++MIT LicenseMIT
No issues in this repository yet.