std::collections

src/consistency/algo.rs

-use hashbrown::{HashMap, HashSet};
+use std::collections::{HashMap, HashSet};
 
 use consistency::util::{ConstrainedLinearization, DiGraph};
 

src/consistency/sat.rs

-use hashbrown::{HashMap, HashSet};
+use std::collections::{HashMap, HashSet};
 use std::fs;
 use std::fs::{File, OpenOptions};
 

src/consistency/util.rs

@@ -2,7 +2,7 @@ use std::cmp::{Eq, Ord};
 use std::fmt::Debug;
 use std::hash::Hash;
 
-use hashbrown::{HashMap, HashSet};
+use std::collections::{HashMap, HashSet};
 
 use std::collections::VecDeque;
 

src/db/history.rs

 use std::fmt;
 
-use hashbrown::HashMap;
+use std::collections::HashMap;
 
 use rand::distributions::{Distribution, Uniform};
 use rand::Rng;
@@ -162,8 +162,8 @@ pub fn generate_single_history(
     let jump = (n_variable as f64 / n_node as f64).ceil() as usize;
     (0..n_node)
         .map(|i_node| {
-            let i = i_node * jump;
-            let j = std::cmp::min((i_node + 1) * jump, n_variable);
+            // let i = i_node * jump;
+            // let j = std::cmp::min((i_node + 1) * jump, n_variable);
             // let write_variable_range = Uniform::from(i..j);
             (0..n_transaction)
                 .map(|_| Transaction {

src/lib.rs

-extern crate ansi_term;
 extern crate rand;
 
 extern crate chrono;
 extern crate rayon;
 
-extern crate hashbrown;
-extern crate petgraph;
-
 pub mod consistency;
 pub mod db;
 pub mod verifier;

src/verifier/mod.rs

-use hashbrown::{HashMap, HashSet};
+use std::collections::{HashMap, HashSet};
 // use std::fs;
 use std::fs::File;
-use std::io::{BufWriter, Write};
+use std::io::Write;
 use std::path::PathBuf;
 
 use consistency::sat::Sat;

src/verifier/util.rs

-use hashbrown::{HashMap, HashSet};
+use std::collections::{HashMap, HashSet};
 use std::fmt::Debug;
 use std::hash::Hash;