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