#

qdimacs

Here are 3 public repositories matching this topic...

ltentrup / caqe

CAQE is a solver for quantified Boolean formulas

solver qbf qdimacs

Updated May 13, 2023
Rust

arey0pushpa / synthetic_qbf_formulas

Interesting QBF formulas

sat-solver dimacs qbf-solver qbf qdimacs

Updated Jun 24, 2018
Python

mingusb / llm-iq-test

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

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

Updated Jan 14, 2026
Python

Improve this page

Add a description, image, and links to the qdimacs 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 qdimacs topic, visit your repo's landing page and select "manage topics."