squolem

Submitter: Christoph Wintersteiger
Description: A purely skolemization-based solver that is able to generate certificates.
Results: