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,
Expand description
Try to execute SAT solver. The input argument should be formulae in CNF format.