WASP is an ASP solver that is able to evaluate disjunctive logic programs under the stable model semantics. WASP implements techniques originally introduced for SAT solving combined with optimization methods that have been specifically designed for ASP computation, such as source pointers enhancing unfounded sets computation and efficient techniques for stable model checking.

WASP takes as input logic programs in the lparse format.

Since the release 3.0, WASP is part of the system DLV, previous versions of WASP can be found at the following links: Version 1 - Version 2.


./dlv2 --mode=wasp < filename


Additional material:

All material used for paper #3 LPNMR 2019 - "Evaluation of disjunctive programs in WASP". [Last update: 2019-01-25]