#

qcir

Here are 2 public repositories matching this topic...

5nizza / relation-determinization

Satisfiable benchmarks from reactive synthesis. The challenge is to find small solutions.

benchmarks aiger qbf qcir

Updated Oct 29, 2024

pehamTom / qcirsym

QCIRSYM - A Tool for finding symmetries in QCIR formulas in cleansed-prenex form

symmetry qbf non-cnf qcir

Updated Mar 18, 2021
C++

Improve this page

Add a description, image, and links to the qcir topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the qcir topic, visit your repo's landing page and select "manage topics."