Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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.

Awesome Lists containing this project

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.