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 repositories owned by Markus N. Rabe

cadet

24
Stars
13
Forks
Watchers

A fast and certifying solver for quantified Boolean formulas.

verified publisher icon MarkusRabe