Function exec_sat::exec_sat_simple

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

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