Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/jamesbornholt/rustsat
a toy Rust SAT solver
https://github.com/jamesbornholt/rustsat
Last synced: about 1 month ago
JSON representation
a toy Rust SAT solver
- Host: GitHub
- URL: https://github.com/jamesbornholt/rustsat
- Owner: jamesbornholt
- Created: 2019-12-16T04:39:43.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2021-03-17T18:34:41.000Z (over 3 years ago)
- Last Synced: 2024-02-11T12:12:36.533Z (5 months ago)
- Language: Rust
- Size: 32.2 KB
- Stars: 5
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Lists
- awesome-rust-formalized-reasoning - rustsat(2) - toy SAT solver. (Projects / Provers and Solvers)
README
a toy SAT solver written in Rust
(mostly to experiment with some optimizations that seem difficult for the ownership model)