formal-ai 0.14.0

Formal symbolic AI proof of concept with OpenAI-compatible APIs
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
use formal_ai::{create_chat_completion, ChatCompletionRequest, ChatMessage, MessageContent};

fn main() {
    let request = ChatCompletionRequest {
        model: None,
        messages: vec![ChatMessage {
            role: String::from("user"),
            content: MessageContent::Text(String::from("Write me hello world program in Rust")),
        }],
        stream: false,
    };
    let completion = create_chat_completion(&request);

    println!("{}", completion.choices[0].message.content.plain_text());
}