GitHub repository: Froleyks/certifaiger
Primary language: C++
Created: 2024-06-03T05:48:17Z
Description: Certify Model Checking Witnesses in AIGER