About extension of CAV19

[zhangyedi]

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?

[MarkusRabe]

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.