formal-ai 0.167.0

Formal symbolic AI implementation with OpenAI-compatible APIs
Documentation
1
2
3
4
5
6
7
8
9
10
pub fn append_diagnostic_trace(
    diagnostic_mode: bool,
    answer: String,
    links_notation: &str,
) -> String {
    if !diagnostic_mode {
        return answer;
    }
    format!("{answer}\n\n[diagnostic]\n{}", links_notation.trim_end())
}