Markus N. Rabe

University of California, Berkeley Berkeley, CA, USA 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.

boolean-function

boolean-satisfiability