skizzo_v0.5

Submitter: Marco Benedetti
Description: Devised by Marco Benedetti, it is a reasoning engine for QBF featuring several techniques, including search, resolution and skolemization.
Results: