https://github.com/arenaudineau/sat_lab

A crate providing the framework for manipulating SAT problems.
https://github.com/arenaudineau/sat_lab

Last synced: about 1 month 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 (12 months ago)
• Default Branch: main
• Last Pushed: 2023-07-18T16:30:49.000Z (12 months ago)
• Last Synced: 2024-05-11T04:40:46.589Z (about 2 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

Lists

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