splr-0.3.1
- splr 0.3.1
- Docs.rs crate page
- MPL-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- shnarazk
- Dependencies
- bitflags ^1.2 normal
  copyless ^0.1 normal
  libc ^0.2 normal
  structopt ^0.3 normal
- Versions
Go to latest version
Platform
Feature flags

Rust

☰

Module validator

Traits

[−][src]Module splr::validator

Crate validator implements a model checker.

Traits

API for SAT validator like inject_assignment, validate and so on.