A Reasoning System for a First-Order Logic of Limited Belief, written in C++
Primary LanguageC++MIT LicenseMIT