Function exec_sat 

pub fn exec_sat<S, S2, I, R>(
    program: S,
    args: I,
    input: R,
) -> Result<SatOutput, Error>
where
    S: AsRef<OsStr>,
    S2: AsRef<OsStr>,
    I: IntoIterator<Item = S2>,
    R: Read,

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