demystify 0.2.0

A constraint solving tool for explaining puzzles
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

use clap::Parser;
use demystify::json::Problem;
use demystify::web::puzsvg::PuzzleDraw;
use std::fs::File;
use std::io::Write;
use tracing::Level;
use tracing_subscriber::fmt::format::FmtSpan;

#[derive(clap::Parser, Debug)]
struct Opt {
    #[arg(long)]
    puzzle: String,

    #[arg(long)]
    svg: String,

    #[arg(long)]
    trace: bool,
}

fn main() -> anyhow::Result<()> {
    let opt = Opt::parse();

    let (non_block, _guard) = tracing_appender::non_blocking(File::create("demystify.trace")?);

    if opt.trace {
        tracing_subscriber::fmt()
            .with_span_events(FmtSpan::ACTIVE)
            .with_max_level(Level::TRACE)
            //.with_env_filter("trace,tracer=off")
            .with_ansi(false)
            .without_time()
            //.pretty()
            .with_writer(non_block)
            .init();
    }

    let file = File::open(&opt.puzzle)?;
    let problem: Problem = serde_json::from_reader(file)?;

    let puz_draw = PuzzleDraw::new(&problem.puzzle.kind);

    let svg = puz_draw.draw_puzzle(&problem);

    let mut output_file = File::create(&opt.svg)?;
    let svg_string = svg.to_string();
    output_file.write_all(svg_string.as_bytes())?;
    Ok(())
}