formal-ai 0.263.0

Formal symbolic AI implementation with OpenAI-compatible APIs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

use std::error::Error;

use formal_ai::{run_with_formal_ai, WithFormalAiArgs};
use lino_arguments::Parser;

#[derive(Debug, Parser)]
#[command(
    name = "with-formal-ai",
    version,
    about = "Run or permanently configure external CLIs against Formal AI"
)]
struct Args {
    #[command(flatten)]
    with: WithFormalAiArgs,
}

fn main() -> Result<(), Box<dyn Error>> {
    lino_arguments::init();
    let args = Args::parse();
    run_with_formal_ai(&args.with)
}