Function main 

pub fn main() -> ExitCode

The logos-sat process: logos-sat <input.cnf> [proof.drat], with LOGOS_STATS for solver statistics. src/bin/logos-sat.rs is exactly this call, and so is the test crate’s logos-sat-under-test.