skolem-function

There are 2 repositories under skolem-function topic.

MarkusRabe/cadet
A fast and certifying solver for quantified Boolean formulas.
Language:C26 2 813
maxadamski/illogical
Easy-to-use first order logic tools & Scala library
Language:Scala5 2 02