Crate logicpearl_verify 

Solver-backed verification helpers.

This crate contains reusable checks for rule candidates and feature constraints. It is used by discovery and conformance workflows when LogicPearl needs to reason about boolean conjunctions or expression satisfiability. It does not load artifact bundles or run end-user inputs.

Structs

BooleanConjunctionCandidate

BooleanConjunctionSearchOptions

BooleanSearchExample

FormalSpec

FormalSpecRule

FormalSpecRuleCheck

FormalSpecVerificationReport

GateRuleCheck

Functions

load_formal_spec

status

synthesize_boolean_conjunctions

validate_formal_spec

verify_gate_against_formal_spec