GitHub repository: schwering/limbo
Primary language: C++
Description: A Reasoning System for a First-Order Logic of Limited Belief