formal-ai-0.72.0
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

formal-ai 0.72.0

Formal symbolic AI implementation with OpenAI-compatible APIs

Crate
Source
Builds
Feature flags

..
memory
seed
solver_handlers
web
arithmetic.rs
calculation.rs
concepts.rs
engine.rs
engine_hello_world.rs
event_log.rs
github_logs.rs
language.rs
lib.rs
main.rs
memory.rs
protocol.rs
seed.rs
server.rs
solver.rs
solver_handler_how.rs
solver_handler_units.rs
solver_handlers_policy.rs
solver_helpers.rs
telegram.rs
telegram_runtime.rs
web_engine_core.rs
web_search_core.rs