/evaluate-dnf

Evaluates a given DNF-query if it's satisfiable.

Primary LanguageJava

Watchers