Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
inherit Satwrapper.solverFactory
method new_timed_instance : Timing.timetable -> Satwrapper.abstractSolver
method new_instance : Satwrapper.abstractSolver