Verified record · from the answer index

depqbf

Solver for quantified boolean formulae (QBF)

cli:brew:depqbf · published by lonsing · source repository