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

Lib.rs

› Keywords #satisfiability #rust-sat #logic #mini-sat #cdcl #boolean-satisfiability

#sat-solver

  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. oxiz-sat

    High-performance CDCL SAT Solver for OxiZ

    v0.1.1 #sat-solver #cdcl #solver

  3. splr

    A modern CDCL SAT solver in Rust

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

  4. sat-solver

    A SAT solver implemented in Rust, focusing on performance, efficiency and experimentation

    v0.2.1 110 #cdcl #dpll #logic #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. screwsat

    condlict driven clause learning sat solver

    v2.1.5 #sat-solver #satisfiability #solver

  7. logiq

    A logic SAT solver

    v1.0.1 100 #sat-solver #propositional-logic #computational-logic #decision-procedures #logic

  8. satif-kissat

    Rust wrapper for the kissat SAT solver

    v0.5.2 1.0K #sat-solver #kissat

  9. sat_toasty_helper

    more-easily writing SAT constraints

    v0.0.4 #sat-solver #sat

  10. satif-cadical

    Rust wrapper for the CaDiCaL SAT solver

    v0.2.2 950 #sat-solver #cadical

  11. bddminisat-sys

    FFI bindings to bdd_minisat_all, a BDD-based AllSAT solver

    v0.1.0 #sat-solver #mini-sat #bdd #allsat #solver

  12. rustsat-minisat

    Interface to the SAT solver Minisat for the RustSAT library

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

  13. rustsat-kissat

    Interface to the SAT solver kissat for the RustSAT library

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

  14. cadical

    Rust bindings for the CaDiCaL SAT solver

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

  15. otter_sat

    determining the satisfiability of boolean formulas written in conjunctive normal form, developed to support investigation into solvers by researchers, developers, or anyone curious

    v0.1.0 150 #sat-solver #satisfiability #logic #sat-sovler

  16. rustsat-cadical

    Interface to the SAT solver CaDiCaL for the RustSAT library

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

  17. nonogrid

    Efficient nonogram solver

    v0.7.3 #sat-solver #nonogram #solver

  18. batsat

    Extensible SAT solver in Rust

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

  19. cryptominisat

    Rust bindings for CryptoMiniSat, a boolean satisfiability solver

    v5.8.0 #sat-solver #boolean-satisfiability #bindings #mini-sat #xor #git-submodule

  20. varisat

    A CDCL based SAT solver (library)

    v0.2.2 43K #sat-solver #cdcl #formula #find #variables-assignment

  21. rustsat-glucose

    Interface to the SAT solver Glucose for the RustSAT library

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

  22. satif

    SAT solver interface

    v0.2.5 650 #sat-solver

  23. rustsat-ipasir

    IPASIR bindings for RustSAT

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

  24. rustsat-batsat

    Interface to the SAT solver BatSat for the RustSAT library. BatSat is fully implemented in Rust

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

  25. ipasir

    Bindings for the IPASIR API to communicate with incremental SAT solvers

    v0.3.1 #sat-solver #incremental #api-bindings #solver

  26. rsmt2

    Wrapper for SMT-LIB 2 compliant SMT solvers

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

  27. backtrack

    Solve hard constraints easily

    v0.3.0 #sat-solver #backtracking #combinatorial #solver

  28. minisat

    interface. Solves a boolean satisfiability problem given in conjunctive normal form.

    v0.4.4 140 #boolean-satisfiability #sat-solver #api-bindings

  29. exec-sat

    Executes SAT solver and parses SAT solver output

    v0.1.2 200 #sat-solver #cnf #logic

  30. satif-minisat

    Rust wrapper for the minisat SAT solver

    v0.2.7 650 #mini-sat #sat-solver #bindings

  31. stalmarck-sat

    Rust-based SAT Solver based on the Stålmarck Procedure

    v0.1.0 #sat-solver #satisfiability #stalmarck #logic

  32. varisat-checker

    Proof checker for proofs generate by the Varisat SAT solver

    v0.2.2 43K #sat-solver #proof #varisat #generate #checker

  33. satoxid

    Boolean satisfiability problem encoding library written in rust

    v0.1.2 #sat-solver #dimacs #satisfiability

  34. varisat-internal-proof

    Internal proof format for the Varisat SAT solver

    v0.2.2 44K #sat-solver #proof #varisat #internal #format

    35. Try searching with DuckDuckGo.

  35. satlog

    A logger for SAT-like solvers

    v0.2.1 #logging #sat-solver

  36. varisat-formula

    Basic formula data types used by the Varisat SAT solver

    v0.2.2 44K #sat-solver #varisat #formula #data

  37. saguaro

    CDCL SAT solver

    v0.1.0 #sat-solver #cdcl #cnf #benchmark #testing

  38. cat_solver

    Rust bindings for the Kissat SAT solver

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

  39. sat-rs

    A SAT solver written in Rust

    v0.0.3 #sat-solver #formula #literals #syntactic #struct #interpretation #propositional

  40. rate

    Clausal proof checker (DRAT, DPR) for certifying SAT solvers' unsatisfiability results

    v0.3.0 #sat-solver #proof-checker #drat #dpr #clausal

  41. ipasir-loading

    Load shared libraries of IPASIR compatible SAT solvers

    v0.1.0 #sat-solver #ipasir #satisfiability

  42. varisat-dimacs

    DIMCAS CNF parser and writer for the Varisat SAT solver

    v0.2.2 44K #sat-solver #parser #writer #cnf #varisat #dimacs #parser-and-writer

  43. kissat

    wrapper for the Kissat SAT solver

    v0.1.0 #sat-solver #unsat #sat

  44. 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

  45. rgbd

    Unofficial Rust client for GBD Benchmark Database

    v0.2.1 110 #benchmark #gbd #client-for-gbd #database #track #cache #sat-solver

  46. varisat-lrat

    LRAT proof generation for the Varisat SAT solver

    v0.2.2 #sat-solver #proof-generation #varisat #lrat

  47. permanganate

    Graph and Boolean SAT solver for Numberlink and Flow Free

    v0.2.0 110 #graph #sat-solver #board #shape #graph-solver #boolean-sat #boolean-satisfiability #terminus #rectangular #sh

  48. scuttle-core

    Core library of the Scuttle MO-MaxSAT solver

    v0.4.0 #sat-solver #multi-objective #max-sat #heuristics #solver-algorithm

  49. varisat-cli

    A CDCL based SAT solver (command line solver)

    v0.2.1 #sat-solver #command-line #cdcl #formula #proof

  50. rsat

    SAT Solver

    v0.1.12 #sat-solver #satisfiability #boolean-satisfiability #boolean-sat #math

  51. sat

    Interface for defining and solving SAT problems

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

  52. varisat-internal-macros

    Internal macros for the Varisat SAT solver

    v0.2.2 49K #sat-solver #varisat #macro #internal-macro

  53. acheron

    SAT solver

    v0.1.0 #sat-solver #elimination #dpll

  54. solhop

    SAT and MaxSAT Solver

    v0.1.0 #max-sat #sat-solver #boolean-sat #boolean-satisfiability #satisfiability