GitHub repository: moves-rwth/PrIC3
Primary language: Python
Description: Probabilistic IC3