Lib.rs

CDCL SAT 求解器，使用 2WL 和重启。本crate已不再维护。如需转让名称，请给我发邮件。