semitone 0.0.13

SeMiTONE is a Satisfiability Modulo TheOries NEtwork, allowing the creation of variables and constraints in different underlying theories.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

use semitone::parser::SmtParser;
use std::env;
use std::io::{self, Read};

fn main() {
    let args: Vec<String> = env::args().collect();

    if args.len() < 2 {
        eprintln!("Usage: semitone <file.smt2 | ->");
        std::process::exit(1);
    }

    let file_path = &args[1];
    let mut stdout = std::io::stdout();
    let mut runner = SmtParser::new(&mut stdout);

    if file_path == "-" {
        let mut buffer = String::new();
        io::stdin().read_to_string(&mut buffer).expect("Failed to read from stdin");
        runner.run_str(&buffer);
    } else {
        // Otherwise, open the file normally
        runner.run_file(file_path);
    }
}