#

quantified-boolean-formula

Here is 1 public repository matching this topic...

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 quantified-boolean-formula 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 quantified-boolean-formula topic, visit your repo's landing page and select "manage topics."