A Reasoning System for a First-Order Logic of Limited Belief, written in C++
No resources for this project.