Submitter: Marco Benedetti
Description: Devised by Marco Benedetti, it is a reasoning engine for QBF featuring several techniques, including search, resolution and skolemization.[ M. Benedetti. sKizzo a Suite to Evaluate and Certify QBFs. In 20th Int.l. Conference on Automated Deduction, volume 3632 of Lecture Notes in Computer Science. Springer Verlag, 2005.]