You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hi, I am wondering if you have extended ID (your work "Incremental Determinization
for Quantifier Elimination and Functional Synthesis" in CAV19) in the current version of cadet?
The text was updated successfully, but these errors were encountered:
Hey! Yes, functional synthesis and quantifier elimination is part of the main release. You can look up how to use these modes using cadet -h. You can use functional synthesis like this: cadet -f certificate_output.aag input_file.qdimacs.
Hi, I am wondering if you have extended ID (your work "Incremental Determinization
for Quantifier Elimination and Functional Synthesis" in CAV19) in the current version of cadet?
The text was updated successfully, but these errors were encountered: