qdimacs

Here are 4 public repositories matching this topic...

CAQE is a solver for quantified Boolean formulas

solver qbf qdimacs

Interesting QBF formulas

sat-solver dimacs qbf-solver qbf qdimacs

[Alpha] LLM IQ harness for polynomial-hierarchy QBF benchmarks. (Author+LLM) [2026]

benchmark complexity iq qbf qdimacs llm polynomial-hierarchy quantified-boolean-formula

A simple search-based solver with QCDCL and Cube Learning for QBF (thesis project code).

qbf-solver qdimacs qcdcl cube-learning

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

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