Skip to content

Princess Boolean Quantification Broken #472

New issue
New issue
Open
Open
Princess Boolean Quantification Broken#472
Assignees
baierd
Labels
Blocked by Solver Supportsolver does not yet support this feature OR there was not yet any public release of the solverPrincessenhancement
@baierd

Description

@baierd
baierd
opened on Apr 3, 2025

Quantification with bound boolean variables is currently not working in Princess.
We should investigate and fix this if possible.

Metadata

Metadata

Assignees

Labels

Blocked by Solver Supportsolver does not yet support this feature OR there was not yet any public release of the solverPrincessenhancement

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions