Markus N. Rabe

icon company University of California, Berkeley icon location Berkeley, CA, USA icon location Researcher at Google, previously worked at UC Berkeley and Saarland University.

Results 1 comments of Markus N. Rabe

About extension of CAV19

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...