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.

Link to Website