Lib.rs

› 关键词 #sat-solver #可满足性 #调试模式 #调试

#rust-sat

  1. rustsat-ipasir

    RustSAT 的 IPASIR 绑定

    v0.1.1 #sat-solver #rustsat #rust-sat

  2. rustsat-tools

    基于 RustSAT 库构建的工具和示例

    v0.3.1 #sat #可满足性 #rustsat #rust-sat

  3. rustsat-cadical

    RustSAT 库对 SAT 求解器 CaDiCaL 的接口

    v0.3.1 #sat-solver #rustsat #rust-sat #调试模式 #调试

  4. rustsat-kissat

    RustSAT 库对 SAT 求解器 kissat 的接口

    v0.2.1 #sat-solver #rustsat #rust-sat

  5. rustsat-minisat

    RustSAT 库对 SAT 求解器 Minisat 的接口

    v0.3.1 #sat-solver #rustsat #rust-sat

  6. rustsat-glucose

    RustSAT 库对 SAT 求解器 Glucose 的接口

    v0.3.1 #sat-solver #rustsat #rust-sat

    7. 尝试使用 DuckDuckGo 进行搜索.