Wasp
Wasp is an ASP solver handling disjunctive logic programs under the stable model semantics. It combines techniques originally introduced for SAT solving with methods specifically designed for ASP computation.
Wasp is an ASP solver handling disjunctive logic programs under the stable model semantics. It combines techniques originally introduced for SAT solving with methods specifically designed for ASP computation.