# minisat-rs

minisat with rust binding