Fix #571: Add QuantifiedBooleanFormulas model#625

Merged

isPANN merged 11 commits intomainfrom

Mar 20, 2026

Commits on Mar 13, 2026

Commits on Mar 20, 2026

Merge origin/main into issue-571-qbf

isPANN
and
claude
committed
Fix QBF model for updated declare_variants! and ProblemSchemaEntry API

isPANN
and
claude
committed
Add canonical_model_example_specs for QuantifiedBooleanFormulas

isPANN
and
claude
committed
Update QBF paper example to use load-model-example from example-db

isPANN
and
claude
committed
Fix missing quantifiers field in empty_args test helper

isPANN
and
claude
committed
Fix SWCT paper example: use optimal_config/optimal_value fields

isPANN
and
claude
committed
Redesign QBF to use game-tree evaluate(), matching GeneralizedHex

isPANN
and
claude
committed
Merge origin/main into issue-571-qbf

isPANN
and
claude
committed
Merge origin/main and remove duplicate bib entries

isPANN
and
claude
committed