The config module provides a SARLConfig type, which encapsulates configuration information such as the list of available theorem provers with information on each. The static methods of Configurations are the starting point.
  • Class
    This is the public interface for managing SARL configuration objects and files.
    Abstract interface representing information about an external theorem prover: what kind of prover it is, where it can be found, etc.
    A classification of the different kinds of theorem provers.
    A SARL configuration encapsulates information about the complete set of external theorem provers available to SARL.