Lib.rs

› Search #sat-solver #satisfiability #logic #rust-sat #solver #multi-objective

  1. rustsat

    aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.

    v0.7.4 1.9K #sat-solver #satisfiability #encoding #sat

  2. adic

    Arithmetic and rootfinding for p-adic numbers

    v0.4.1 600 #p-adic #numbers #math #modular

  3. splr

    A modern CDCL SAT solver in Rust

    v0.17.2 230 #sat-solver #satisfiability #logic

  4. scuttle

    A multi-objective MaxSAT solver

    v0.4.0 280 #max-sat #multi-objective #solver

  5. cadical-sys

    Almost complete safe and unsafe bindings for the CaDiCal SAT solver. Made using the cxx crate and then wrapped in a safe 1 to 1 API.

    v0.7.0 #sat-solver #system-level #safe

  6. satif-cadical

    Rust wrapper for the CaDiCaL SAT solver

    v0.2.2 950 #sat-solver #cadical

  7. satgalaxy

    satgalaxy-rs is a Rust library that provides Rust bindings for multiple popular SAT solvers

    v0.2.0 130 #mus #slover

  8. cadical

    Rust bindings for the CaDiCaL SAT solver

    v0.1.16 550 #sat-solver #mini-sat #satisfiability #logic

  9. bitwuzla-sys

    Low-level bindings for the Bitwuzla SMT solver

    v0.8.0 390 #smt-solver #ffi #smt

  10. rustsat-cadical

    Interface to the SAT solver CaDiCaL for the RustSAT library

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

  11. scalop

    argumentation solver

    v2.0.0 #framework #af #argumentation #solver

  12. pindakaas-cadical

    build of the Cadical SAT solver for the pindakaas crate

    v0.3.0 #boolean-satisfiability #satisfiability #encoding #boolean-sat #boolean-logic

  13. satoxid

    Boolean satisfiability problem encoding library written in rust

    v0.1.2 #sat-solver #dimacs #satisfiability

  14. ipasir-sys

    that contains FFI bindings for IPASIR-compatible SAT solvers

    v0.3.0 #satisfiability #incremental #ffi

  15. cat_solver

    Rust bindings for the Kissat SAT solver

    v3.1.1 #sat-solver #kissat #satisfiability #logic #solver

    16. Try searching with DuckDuckGo or on crates.io.

  16. cadical-veripb-tracer

    VeriPB proof tracer for CaDiCaL via RustSAT

    v0.1.0 #cadical #multi-objective #rust-sat #proof #veri-pb #scuttle #max-sat #sat-solver

  17. kissat

    wrapper for the Kissat SAT solver

    v0.1.0 #sat-solver #unsat #sat

  18. rssat

    DEPRECATED: rssat is a Rust library that provides Rust bindings for multiple popular SAT solvers

    v0.1.6 300 #cadical #mini-sat #glucose #slover

  19. d4-cadical-sys

    wrapper around CaDiCaL for d4

    v0.1.1 #cadical #d4-oxide #bindings