varisat
| Crates.io | varisat |
| lib.rs | varisat |
| version | 0.2.2 |
| source | src |
| created_at | 2018-05-19 19:23:33.791536 |
| updated_at | 2020-09-09 17:10:13.750113 |
| description | A CDCL based SAT solver (library) |
| homepage | https://jix.one/project/varisat/ |
| repository | https://github.com/jix/varisat |
| max_upload_size | |
| id | 66233 |
| size | 237,427 |
Jannis Harder (jix)
documentation
README
Varisat
Varisat is a CDCL based SAT solver written in rust. Given a boolean formula in conjunctive normal form, it either finds a variable assignment that makes the formula true or finds a proof that this is impossible.
This is the library version. Varisat is also available as a command line solver
(varisat-cli on crates.io).
Documentation
Developer Documentation
The internal APIs are documented using rustdoc. It can be generated using
cargo doc --document-private-items --all --exclude varisat-cli or viewed
online (master).
You can also read a series of blog posts about the development of varisat.
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.