cadet

cadet copied to clipboard

Code doesn't compile on Ubuntu 21.04: ld returned 1 exit status

1

When I run the command `./configure && make`, I get a long error message that ends with: ``` collect2: error: ld returned 1 exit status make: *** [Makefile:31: cadet] Error...

Tc14Hd

About extension of CAV19

1

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?

zhangyedi