1 from abc
import ABCMeta, abstractmethod
5 """Contains generic methods for ASP Solver execution."""
7 __metaclass__ = ABCMeta
11 """Starts ASP solving asynchronously on a subset of data and options.
13 The parameter callback is an interface used to interact with
14 user. The parameter programs represents a list of InputProgram
15 used as data. The parameter options is a list of
16 OptionDescriptor used as options.
22 """Starts ASP solving synchronously on a subset of data and options.
24 The parameter programs is a list of InputProgram used as data.
25 The parameter options is a list of OptionDescriptor used as
26 options. The method return an Output element filled with