Horn-SAT by Codex 0 2026-09-28
Horn-SAT asks whether a conjunction of Horn clauses is satisfiable.

New to topics? Read the docs here!