rustchain-community 1.0.0

Open-source AI agent framework with core functionality and plugin system
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
37
38
39
40
41
42
43

//! SMT Verification Gates using ContextLite Z3 Integration
//! 
//! Formal verification for mission safety and correctness

pub mod constraints;
pub mod solver;
pub mod verification;
pub mod contextlite_bridge;
pub mod standards_compliance;
pub mod compliance_engine;
pub mod customer_tools;
pub mod oscal_converter;

pub use constraints::*;
pub use solver::*;
pub use verification::*;
pub use contextlite_bridge::*;
pub use standards_compliance::*;
pub use compliance_engine::*;
pub use customer_tools::*;
pub use oscal_converter::*;

/// SMT verification configuration
#[derive(Debug, Clone)]
pub struct SMTConfig {
    pub enabled: bool,
    pub solver_timeout_ms: u32,
    pub cache_enabled: bool,
    pub cache_size: usize,
    pub contextlite_endpoint: String,
}

impl Default for SMTConfig {
    fn default() -> Self {
        Self {
            enabled: true,
            solver_timeout_ms: 5000,
            cache_enabled: true,
            cache_size: 1000,
            contextlite_endpoint: "http://localhost:8080".to_string(),
        }
    }
}