https://github.com/ken-matsui/minsat

[WIP] A minimal CDCL SAT solver written in Rust
https://github.com/ken-matsui/minsat

Last synced: about 1 month ago
JSON representation

[WIP] A minimal CDCL SAT solver written in Rust

• Host: GitHub
• URL: https://github.com/ken-matsui/minsat
• Owner: ken-matsui
• License: mit
• Created: 2023-03-18T22:49:16.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2023-03-20T07:09:40.000Z (almost 2 years ago)
• Last Synced: 2024-10-16T13:17:50.689Z (3 months ago)
• Language: Rust
• Homepage:
• Size: 22.5 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project