varisat-internal-proof
| Crates.io | varisat-internal-proof |
| lib.rs | varisat-internal-proof |
| version | 0.2.2 |
| source | src |
| created_at | 2019-05-18 08:10:15.925164 |
| updated_at | 2020-09-09 17:08:26.244567 |
| description | Internal proof format for the Varisat SAT solver |
| homepage | https://jix.one/project/varisat/ |
| repository | https://github.com/jix/varisat |
| max_upload_size | |
| id | 135046 |
| size | 35,854 |
Jannis Harder (jix)
documentation
README
Varisat
This crate defines the proof format used internally by the varisat
crate.
This is an internal dependency of the Varisat SAT solver, and should not be used directly.
License
The Varisat source code is licensed under either of
- Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
at your option.
Contribution
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in Varisat by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.