sat-rs 0.0.3

A SAT solver written in Rust
Documentation
  • Coverage
  • 63.64%
    14 out of 22 items documented9 out of 10 items with examples
  • Size
  • Source code size: 23.54 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 2.25 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 24s Average build duration of successful builds.
  • all releases: 24s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • crates.io
  • Dependencies
  • Versions
  • Owners
  • SauravMaheshkar

SAT Solvers in Rust

This crate contains implementations of various satisfiability solvers for the boolean satisfiability problem (SAT).

List of available solvers:

  • [crate::solvers::syntactic] - A purely syntactic solver based on a user provided interpretation

This crate also contains some useful structs for working with propositional variables and formulas, viz:

  • [crate::notation::Formula] - A struct for working with propositional formulas
  • [crate::notation::Clause] - A struct for working with propositional clauses
  • [crate::notation::Literal] - A struct for working with propositional literals (atoms)

Usage

The crate can be used as a library or as a binary. To use it as a binary, run the following command:

cargo run <CNF_FILE> <SOLVER>

OR

sat-rs <CNF_FILE> <SOLVER>