lonsing / qratpreplus

QRATPre+, a preprocessor for quantified Boolean formulas.

https://lonsing.github.io/qratpreplus/

Geek Repo

Github PK Tool