Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
method virtual solve : solve_result
method virtual solve_with_assumptions : int list -> solve_result
method virtual print_dimacs : out_channel -> unit