https://github.com/jamesbornholt/rustsat

a toy Rust SAT solver
https://github.com/jamesbornholt/rustsat

Last synced: about 2 months 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 (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2021-03-17T18:34:41.000Z (over 3 years ago)
• Last Synced: 2024-05-22T19:32:23.983Z (4 months ago)
• Language: Rust
• Size: 32.2 KB
• Stars: 5
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• 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)