Run cargo fmt

examples/one_shot_benchmark.rs

@@ -171,7 +171,8 @@ fn compile_bdd_dtree(str: String, _args: &Args) -> BenchResult {
     let cnf = Cnf::from_file(str);
     let order = cnf.min_fill_order();
     let dtree = DTree::from_cnf(&cnf, &order);
-    let man = StandardBddBuilder::<BddApplyTable<BddPtr>>::new(order, BddApplyTable::new(cnf.num_vars()));
+    let man =
+        StandardBddBuilder::<BddApplyTable<BddPtr>>::new(order, BddApplyTable::new(cnf.num_vars()));
     let plan = BddPlan::from_dtree(&dtree);
     let _bdd = man.compile_plan(&plan);
 

src/builder/bdd_builder.rs

@@ -284,7 +284,9 @@ impl<'a, T: LruTable<'a, BddPtr<'a>>> StandardBddBuilder<'a, T> {
         StandardBddBuilder::new(default_order, AllTable::new())
     }
 
-    pub fn new_default_order_lru(num_vars: usize) -> StandardBddBuilder<'a, BddApplyTable<BddPtr<'a>>> {
+    pub fn new_default_order_lru(
+        num_vars: usize,
+    ) -> StandardBddBuilder<'a, BddApplyTable<BddPtr<'a>>> {
         let default_order = VarOrder::linear_order(num_vars);
         StandardBddBuilder::new(default_order, BddApplyTable::new(21))
     }

src/wasm/mod.rs

@@ -1,4 +1,4 @@
-use crate::builder::bdd_builder::{StandardBddBuilder, BddPtr, DDNNFPtr};
+use crate::builder::bdd_builder::{BddPtr, DDNNFPtr, StandardBddBuilder};
 use crate::builder::cache::lru_app::BddApplyTable;
 use crate::builder::sdd::builder::SddBuilder;
 use crate::builder::sdd::compression::CompressionSddBuilder;