From 837b550238aa671a591ccf282dddeab29cadb206 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sat, 18 May 2024 04:49:42 +0200 Subject: Merging upstream version 1.71.1+dfsg1. Signed-off-by: Daniel Baumann --- vendor/varisat-dimacs/README.md | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 vendor/varisat-dimacs/README.md (limited to 'vendor/varisat-dimacs/README.md') diff --git a/vendor/varisat-dimacs/README.md b/vendor/varisat-dimacs/README.md new file mode 100644 index 000000000..a28a60c14 --- /dev/null +++ b/vendor/varisat-dimacs/README.md @@ -0,0 +1,26 @@ +# Varisat - DIMACS + +DIMCAS CNF parser and writer for the [Varisat SAT solver][crate-varisat]. + +The functionality of this crate is re-exported by the [main Varisat +crate][crate-varisat]. + +## 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 -- cgit v1.2.3