Docs.rs
rust-formal-verification-0.1.11
rust-formal-verification 0.1.11
Docs.rs crate page
MIT
Links
Repository
crates.io
Source
Owners
sirandreww
Dependencies
cadical ^0.1.13
normal
minisat ^0.4.4
normal
priority-queue ^1.2.3
normal
rand ^0.8.5
normal
splr ^0.16.3
normal
varisat ^0.2.2
normal
pretty_assertions ^1.3.0
dev
walkdir ^2.3.2
dev
Versions
19.64%
of the crate is documented
This release has been yanked
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
Module formula_logic
rust_
formal_
verification
0.1.11
Module formula_
logic
Module Items
Functions
In rust_
formal_
verification::
algorithms
rust_formal_verification
::
algorithms
Module
formula_
logic
Copy item path
Source
Functions
ยง
does_
a_
imply_
b
Functions that returns true iff a -> b.
evaluate_
assignment_
on_
clause
evaluate_
assignment_
on_
cnf
evaluate_
assignment_
on_
literal
get_
all_
variable_
numbers_
in_
cnf
is_
a_
and_
b_
satisfiable