GitHub repository: DoctorLouWho/qcir_to_qdimacs
Primary language: Python
Created: 2023-06-20T16:35:51Z
Description: QBF converter - qcir format to QDIMACS (CNF)