Need help with varisat?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

jix
187 Stars 11 Forks Other 242 Commits 23 Opened issues

Description

SAT solver written in Rust

Services available

!
?

Need anything else?

Contributors list

# 441,288
C
Shell
TeX
sed
182 commits
# 3,174
query-l...
python-...
mvvm-fr...
wechat-...
8 commits
# 260,370
Clojure
Clojure...
Shell
Rust
1 commit

Varisat

crates.io docs.rs

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.

Varisat is available as a rust library (

varisat
on crates.io) and as a command line solver (
varisat-cli
on crates.io
).

Installation

Varisat is available using rust's package manager cargo. The command line solver can be installed or updated using

cargo install --force varisat-cli
. Cargo can be installed using rustup.

The command line solver is also available as a pre-compiled binary for Linux and Windows.

Documentation

Developer Documentation

The internal APIs are documented using rustdoc. It can be generated using

cargo doc --document-private-items --all --exclude varisat-cli
.

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.

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.