https://github.com/francisol/rssat

https://github.com/francisol/rssat

Last synced: 22 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/francisol/rssat
• Owner: francisol
• License: mit
• Created: 2024-09-29T12:12:30.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-09-30T10:07:28.000Z (about 1 year ago)
• Last Synced: 2024-10-11T00:02:22.049Z (about 1 year ago)
• Language: Rust
• Size: 50.8 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - rssat - bindings for multiple popular SAT solvers, superseded by satgalaxy-rs. (Projects / Libraries)