java-smt icon indicating copy to clipboard operation
java-smt copied to clipboard

Published 20 hours ago • verified publisher icon sosy-lab

Princess Boolean Quantification Broken

Open baierd opened this issue 7 months ago • 1 comments

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

baierd avatar Apr 03 '25 14:04 baierd

This is a known limitation of Princess. I doubt that there is a quick fix.

kfriedberger avatar May 01 '25 11:05 kfriedberger