Time-Limited Enumeration of Answer Sets about wasp HOT 3 CLOSED

You are welcome!

No, this feature is not supported.

from wasp.

Hi,

You can use the options "-n0 --silent=2" to enumerate all answer sets and to obtain a cumulative number of enumerated answer sets.

Output: Number of printed answers: 2

However, in its current implementation, wasp does not support an early termination after a given timeout. You should use an external tool, e.g. pyrunlim (https://github.com/alviano/python/tree/master/pyrunlim) or dumbo-runlim (https://github.com/alviano/dumbo-runlim).

from wasp.

@dodaro Thanks for your answer.
I have another question: Can we do projected enumeration in WASP?

from wasp.