https://github.com/qnighy/ratsat

MiniSat reimplemented in Rust
https://github.com/qnighy/ratsat

Last synced: 25 days ago
JSON representation

MiniSat reimplemented in Rust

• Host: GitHub
• URL: https://github.com/qnighy/ratsat
• Owner: qnighy
• License: other
• Created: 2018-03-29T04:18:22.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-04-18T14:01:37.000Z (over 6 years ago)
• Last Synced: 2024-05-22T19:32:08.366Z (6 months ago)
• Language: Rust
• Size: 156 KB
• Stars: 16
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - RatSat - bin):star::zzz: - reimplementation of MiniSat. (Projects / Provers and Solvers)

README

        
# RatSat

This is a Rust reimplementation of MiniSat.