An experimental QBF solver
Primary LanguageRust
An experimental QBF solver based on Incremental Determinization and inspired by Varisat.