Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/arenaudineau/sat_lab
A crate providing the framework for manipulating SAT problems.
https://github.com/arenaudineau/sat_lab
Last synced: 3 months ago
JSON representation
A crate providing the framework for manipulating SAT problems.
- Host: GitHub
- URL: https://github.com/arenaudineau/sat_lab
- Owner: arenaudineau
- License: apache-2.0
- Created: 2023-07-18T16:20:25.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2023-07-18T16:30:49.000Z (over 1 year ago)
- Last Synced: 2024-05-22T20:31:43.013Z (6 months ago)
- Language: Rust
- Size: 3.3 MB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE-APACHE
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - sat_lab - framework for manipulating SAT problems. (Projects / Provers and Solvers)
README
# sat_lab: A crate providing the framework for manipulating SAT problems.
[![crates.io](https://img.shields.io/crates/v/sat_lab?style=for-the-badge)](https://crates.io/crates/sat_lab)
🔧 I should write a nice presentation
# License
Dual-licensed to be compatible with the Rust project.
Licensed under the Apache License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0 or the MIT license http://opensource.org/licenses/MIT, at your option. This file may not be copied, modified, or distributed except according to those terms.