Thanks to visit codestin.com
Credit goes to lib.rs

Lib.rs

› Keywords #sat-solver #satisfiability #cnf #smt-solver #encoding #logic #mini-sat

#sat

  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 700 #sat-solver #satisfiability #encoding #sat

  2. cnfgen

    Generate DIMACS CNF formula from operations

    v0.6.2 1.3K #table #cnf #logic #sat

  3. sat_toasty_helper

    more-easily writing SAT constraints

    v0.0.4 #sat-solver #sat

  4. oxiz

    Next-Generation SMT Solver in Pure Rust

    v0.1.1 #smt-solver #sat #logic #verification

  5. batsat

    Extensible SAT solver in Rust

    v0.6.0 2.7K #sat-solver #mini-sat #sat

  6. rsmt2

    Wrapper for SMT-LIB 2 compliant SMT solvers

    v0.16.2 260 #smt-solver #sat-solver #smt-lib #satisfiability #sat

  7. torg-verify

    Formal verification for TØR-G boolean circuits

    v0.2.1 #llm #sat #policy

  8. pigeons

    writing VeriPB proofs

    v0.2.2 #satisfiability #encoding #proof-logging #sat

  9. debug_sat

    A debuggable automatic theorem prover for boolean satisfiability problems (SAT)

    v0.4.0 #debugging #theorem #sat

  10. or-tools

    Unofficial Rust wrappers to the C++ library Google OR-Tools, open source software for combinatorial optimization

    v0.1.0 #optimization #sat #linear-solver #csp

  11. sat_lab

    providing the framework for using SAT problems

    v0.1.1 #framework #sat #loader

  12. cnfpack

    Converts between the text based DIMACS CNF file format and the compressed binary Cnfpack format

    v0.1.1 #cnf #dimacs #compression #sat

    13. Try searching with DuckDuckGo.

  13. bigs

    A bipartite graph sampler

    v0.3.0 #bipartite #sampling #graph #sat

  14. tmi-ord

    Ordinal/Sat tracking for tmi (based off ord◉)

    v0.1.12 1.1K #ord #ordinal #wallet #documentation #sat #sats #tmi #mined #rare

  15. pblib-rs

    Rust safe bindings for pblib

    v0.1.0 #constraints #cardinality #pb #encoding #sat

  16. cnfgen-nand-opt

    Generate CNF for circuits

    v0.1.1 #cnf #cnfgen #sat

  17. kissat

    wrapper for the Kissat SAT solver

    v0.1.0 #sat-solver #unsat #sat

  18. autosat

    Automatic conversion of functions to CNF for SAT solving

    v0.1.0 #cnf #convert #solve #automatic #sat

  19. rsmt2-zz

    Wrapper for SMT-LIB 2 compliant SMT solvers. With ZZ downstream fixes

    v0.11.1 #smt-solver #smt-lib #satisfiability #sat #smt

  20. or-tools-sys

    Unofficial Rust wrappers to the C++ library Google OR-Tools, open source software for combinatorial optimization

    v9.7.0 #optimization #sat #linear-solver #csp

  21. satificator

    Generates dimacs file from SAT on graphs

    v0.1.2 #dimacs #sat #file #graphs #generator

  22. z3_ref

    High level interface to the Z3 SMT solver

    v0.1.4 #smt-solver #z3 #sat #smt

  23. sat

    Interface for defining and solving SAT problems

    v0.1.0 #sat-solver #solve #mini-sat #boolean-satisfiability #circuit-design

  24. ratsat

    MiniSat reimplemented in Rust

    v0.0.1 #mini-sat #reimplemented #sat

  25. ratsat-bin

    MiniSat reimplemented in Rust

    v0.0.1 #mini-sat #dimacs #sat