sat_lab
| Crates.io | sat_lab |
| lib.rs | sat_lab |
| version | 0.1.1 |
| created_at | 2023-07-18 16:22:56.80714+00 |
| updated_at | 2024-09-09 10:07:42.119463+00 |
| description | A crate providing the framework for using SAT problems |
| homepage | https://github.com/arenaudineau/sat_lab/ |
| repository | https://github.com/arenaudineau/sat_lab |
| max_upload_size | |
| id | 919584 |
| size | 26,563 |
Adrien Renaudineau (arenaudineau)
documentation
README
sat_lab: A crate providing the framework for manipulating SAT problems.
🔧 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.