scuttle_core::prepro

Function to_clausal

Source 
pub fn to_clausal(
    parsed: Parsed,
    proof_paths: &Option<(PathBuf, Option<PathBuf>)>,
) -> Result<(Option<Proof<BufWriter<File>>>, Instance)>