Function vampire_problem_from_units 

pub unsafe extern "C" fn vampire_problem_from_units(
    units: *mut *mut vampire_unit_t,
    count: usize,
) -> *mut vampire_problem_t

Create a problem from an array of units (clauses or formulas). Formulas will be clausified during preprocessing. @param units Array of unit handles @param count Number of units @return Problem handle