95 lot of memory is needed onnfa 3dot

Cargo.toml

@@ -2,9 +2,9 @@
 name = "shepherd"
 version = "0.1.0"
 edition = "2021"
+default-run = "shepherd"
 
 [dependencies]
-log = "0.4.27"
 env_logger = "0.11.8"
 regex = "1"
 clap = { version = "4.5.35", features = ["derive"] }
@@ -26,3 +26,6 @@ itertools = "0.14.0"
 name = "schaeppert"
 path = "src/iterative.rs"
 
+[dependencies.log]
+version = "0.4.27"
+features = ["release_max_level_info"]

latex/examples.tex

@@ -53,4 +53,10 @@ \subsection{Bottleneck 2.}
 File {\tt bottleneck-2.tikz}
 
 \input{../examples/bottleneck-2.tikz} 
+
+\subsection{Bug 12}
+
+File {\tt bug12.tikz}
+
+\input{../examples/bug12.tikz} 
 \end{document}

src/cli.rs

@@ -1,9 +1,9 @@
 //! This module defines the command line interface (CLI) for the application.
 
+use crate::nfa;
+use crate::solver;
 use clap::{Parser, ValueEnum};
 use std::path::PathBuf;
-use crate::solver;
-use crate::nfa;
 
 #[derive(Debug, Copy, Clone, PartialEq, Eq, PartialOrd, Ord, ValueEnum)]
 pub enum OutputFormat {
@@ -31,7 +31,7 @@ pub struct Args {
            short = 'v',
            long = "verbose",
            action = clap::ArgAction::Count,
-           help = "Increase verbosity level"
+           help = "Increase verbosity level. Default is warn only, -v is info,  -vv is debug, -vvv is trace"
        )]
     pub verbosity: u8,
 
@@ -73,7 +73,7 @@ pub struct Args {
         long,
         value_enum,
         default_value = "strategy",
-        help = "Solver output specification."
+        help = "Solver output specification. Strategy will always compute the maximal winning strategy. Yes-no may be faster when the answer is positive, it uses a heuristic trying to find a simple strategy, which is winning but might not be maximal."
     )]
     pub solver_output: solver::SolverOutput,
 }