Type Definition clingo_sys::clingo_propagate_control_t

type clingo_propagate_control_t = clingo_propagate_control;

This object can be used to add clauses and propagate literals while solving.