https://github.com/solhop/rsat

SAT Solver
https://github.com/solhop/rsat

cdcl sat sat-solver satifiability sls unsat

Last synced: about 1 month ago
JSON representation

SAT Solver

• Host: GitHub
• URL: https://github.com/solhop/rsat
• Owner: solhop
• License: mit
• Archived: true
• Created: 2019-09-14T15:33:34.000Z (almost 5 years ago)
• Default Branch: main
• Last Pushed: 2021-06-26T11:38:59.000Z (about 3 years ago)
• Last Synced: 2024-05-10T16:22:00.858Z (about 2 months ago)
• Topics: cdcl, sat, sat-solver, satifiability, sls, unsat
• Language: Rust
• Homepage: https://solhop.netlify.app/rsat/
• Size: 180 KB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• awesome-rust-formalized-reasoning - rsat - SAT Solver. (Projects / Provers and Solvers)

README

        
# rsat

SAT Solver.

[![Crates.io](https://img.shields.io/crates/v/rsat.svg?style=for-the-badge)](https://crates.io/crates/rsat)

[![Crates.io](https://img.shields.io/crates/d/rsat.svg?style=for-the-badge)](https://crates.io/crates/rsat)

![Crates.io](https://img.shields.io/crates/l/rsat?style=for-the-badge)

[![Docs](https://img.shields.io/badge/api-docs-blue?style=for-the-badge)](https://docs.rs/rsat)

Currently, a stochastic local search based on probSAT and a CDCL solver based on MiniSAT has been implemented.

More algorithms will be available soon.

This projetct is still in development.

The APIs can change before the first stable release v1.0.0.

## License

[MIT](LICENSE)