respond to codepilot suggestions and cargo clippy

Author: pazz

src/semigroup.rs

@@ -8,7 +8,6 @@ use rayon::prelude::*;
 use std::collections::HashSet; // for distinct method
 use std::collections::VecDeque;
 use std::fmt;
-use std::io::{self, Write};
 
 pub struct FlowSemigroup {
     //invariant: all flows have the same dimension
@@ -195,7 +194,7 @@ impl FlowSemigroup {
             while !to_process_mult.is_empty() {
                 let flow = to_process_mult.pop_front().unwrap();
                 //print!(".");
-                io::stdout().flush().unwrap();
+                //io::stdout().flush().unwrap();
                 debug!("\nClose by product processing flow\n{}\n", flow);
                 /*if Self::is_covered(&flow, &processed) {
                     //debug!("Skipped inqueue\n{}", flow);

src/strategy.rs

@@ -3,7 +3,6 @@ use crate::downset::DownSet;
 use crate::graph::Graph;
 use crate::ideal::Ideal;
 use crate::nfa;
-use std::io::{self, Write};
 
 use std::collections::HashMap;
 use std::fmt;
@@ -39,7 +38,7 @@ impl Strategy {
         let mut result = false;
         for (a, downset) in self.0.iter_mut() {
             // print!(".");
-            io::stdout().flush().unwrap();
+            //io::stdout().flush().unwrap();
             let edges = edges_per_letter.get(a).unwrap();
             let safe_pre_image = safe.safe_pre_image(edges, maximal_finite_value);
             result |= downset.restrict_to(&safe_pre_image);