caqe icon indicating copy to clipboard operation
caqe copied to clipboard

Published 20 hours ago • verified publisher icon ltentrup

QDIMACS output for true QBF contains universal variables

Open ltentrup opened this issue 5 years ago • 0 comments

See test case test_miniscoping_qdo in caqe.rs. Thanks to Alireza Farhadi for reporting this issue

ltentrup avatar Mar 31 '20 07:03 ltentrup