formal-ai 0.17.0

Formal symbolic AI proof of concept with OpenAI-compatible APIs
Documentation
1
2
3
4
5
6
7
8
9
10
11
pub mod engine;
pub mod protocol;
pub mod server;

pub use engine::{knowledge_links_notation, FormalAiEngine, SymbolicAnswer, DEFAULT_MODEL};
pub use protocol::{
    create_chat_completion, create_response, ChatChoice, ChatCompletion, ChatCompletionRequest,
    ChatMessage, MessageContent, MessageContentPart, ResponseObject, ResponseOutputContent,
    ResponseOutputMessage, ResponseUsage, ResponsesRequest, TokenUsage,
};
pub use server::{handle_api_request, serve, ApiHttpResponse};