Function ipasir_sys::ipasir_assume

pub unsafe extern "C" fn ipasir_assume(solver: *mut c_void, lit: c_int)

Add an assumption for the next SAT search (the next call of ipasir_solve). After calling ipasir_solve all the previously added assumptions are cleared.

Required state: INPUT or SAT or UNSAT State after: INPUT