oxirag 0.1.1

A four-layer RAG engine with SMT-based logic verification and knowledge graph support
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

//! Layer 3: Judge - SMT-based logic verification.
//!
//! The Judge layer provides:
//! - Claim extraction from text
//! - SMT-LIB encoding of logical claims
//! - SMT-based verification using `OxiZ`
//! - Claim normalization and deduplication
//! - Explanation generation for verification results
//! - Incremental consistency checking
//! - Dependency parsing for improved claim extraction

pub mod claim_extractor;
pub mod dependency_parser;
pub mod explanation;
pub mod incremental;
pub mod normalizer;
pub mod oxiz_verifier;
pub mod traits;

pub use claim_extractor::AdvancedClaimExtractor;
pub use dependency_parser::{
    DependencyClaimExtractor, DependencyNode, DependencyParser, DependencyRelation, DependencyTree,
    PosTag, SimpleDependencyParser, SvoTriple,
};
pub use explanation::{ExplanationBuilder, generate_counterexample, generate_summary};
pub use incremental::{
    ClaimConflict, ConflictType, ConsistencyResult, IncrementalConsistencyChecker, Resolution,
};
pub use normalizer::{ClaimDeduplicator, ClaimNormalizer, DefaultClaimNormalizer};
pub use oxiz_verifier::{JudgeImpl, MockSmtVerifier};
pub use traits::{
    ClaimExtractor, ClaimPattern, Judge, JudgeConfig, PatternClaimExtractor, SmtVerifier,
};

#[cfg(feature = "judge")]
pub use oxiz_verifier::OxizVerifier;