satoxid (cargo): Boolean satisfiability problem encoding library written in rust.
Keywords: satisfiability|sat-solver|dimacs|sat