Docs.rs
elenchus-solver-0.7.0
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
elenchus-solver 0.7.0
Forward-pass inference interpreter for elenchus: 3-valued Kleene evaluation of the Impossible/CNF clause IR into CONFLICT / WARNING / CONSISTENT results.
Crate
Source
Builds
Feature flags
Documentation
..
json_variants__conflict_assume_vs_fact_retract.snap
json_variants__conflict_assumptions_retract.snap
json_variants__conflict_derived_contradiction.snap
json_variants__conflict_exclusive_violation.snap
json_variants__conflict_fact_contradiction.snap
json_variants__conflict_implication_violation.snap
json_variants__conflict_multiple_sorted.snap
json_variants__conflict_system_unsatisfiable.snap
json_variants__consistent_minimal.snap
json_variants__consistent_with_derived.snap
json_variants__underdetermined_with_witness_hint.snap
json_variants__warning_multiple_with_derived.snap
json_variants__warning_single.snap
output_variants__conflict_assume_vs_fact_retract.snap
output_variants__conflict_assumptions_retract.snap
output_variants__conflict_derived_contradiction.snap
output_variants__conflict_exclusive_violation.snap
output_variants__conflict_fact_contradiction.snap
output_variants__conflict_implication_violation.snap
output_variants__conflict_multiple_sorted.snap
output_variants__conflict_system_unsatisfiable.snap
output_variants__consistent_minimal.snap
output_variants__consistent_with_derived.snap
output_variants__underdetermined_with_witness_hint.snap
output_variants__warning_multiple_with_derived.snap
output_variants__warning_single.snap
report__conflict_report.snap
report__creature_report.snap
report__extension_plan_is_consistent_with_a_derivation_chain.snap
report__orphan_fact_appears_as_an_advisory_line_in_a_consistent_report.snap
report__socrates_report_shows_the_derivation_trace.snap