varisat-cli-0.1.3
This release has been yanked

Rust

varisat-cli 0.1.3

A CDCL based SAT solver (command line tool)

Crate
Source
Builds
Feature flags

src
.cargo_vcs_info.json
build.rs
Cargo.toml
Cargo.toml.orig
LICENSE-APACHE
LICENSE-MIT
README.md

{
  "git": {
    "sha1": "c148bb6a0e6a7353e2da5c0b62eb25a7edbca2fb"
  }
}