blob: 29552e8c61aa8c8d7a23ee4afaf33ff499cfdafb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
# Varisat
This crate defines the proof format used internally by the [`varisat`
crate][crate-varisat].
__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](LICENSE-APACHE) or
http://www.apache.org/licenses/LICENSE-2.0)
* MIT license
([LICENSE-MIT](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.
[crate-varisat]: https://crates.io/crates/varisat
|
