Type Definition clingo_sys::clingo_solve_control_t
[−]
[src]
type clingo_solve_control_t = clingo_solve_control;
Object to add clauses during search.