GitHub repository: karthiknukala/pbip
Primary language: Python
Description: Support materials for the PBIP proof framework for pseudo-Boolean reasoning