exec_sat_simple

exec_sat

Function exec_sat_simple 

Source 
pub fn exec_sat_simple<S, R>(program: S, input: R) -> Result<SatOutput, Error>
where
    S: AsRef<OsStr>,
    R: Read,
Expand description

Try to execute SAT solver. The input argument should be formulae in CNF format.