formatting

chrjabs · Aug 23, 2023 · b0d5f86 · b0d5f86
1 parent d2f1ae6
commit b0d5f86
Show file tree

Hide file tree

Showing 7 changed files with 25 additions and 7 deletions.
diff --git a/tools/src/bin/cnf2opb.rs b/tools/src/bin/cnf2opb.rs
@@ -23,7 +23,10 @@ struct Args {
 
 fn main() {
     let args = Args::parse();
-    let opb_opts = OpbOptions { first_var_idx: args.first_var_idx, no_negated_lits: args.avoid_negated_lits };
+    let opb_opts = OpbOptions {
+        first_var_idx: args.first_var_idx,
+        no_negated_lits: args.avoid_negated_lits,
+    };
 
     let inst: SatInstance = if let Some(in_path) = args.in_path {
         SatInstance::from_dimacs_path(in_path).expect("error parsing the input file")

diff --git a/tools/src/bin/mcnf2opb.rs b/tools/src/bin/mcnf2opb.rs
@@ -23,7 +23,10 @@ struct Args {
 
 fn main() {
     let args = Args::parse();
-    let opb_opts = OpbOptions { first_var_idx: args.first_var_idx, no_negated_lits: args.avoid_negated_lits };
+    let opb_opts = OpbOptions {
+        first_var_idx: args.first_var_idx,
+        no_negated_lits: args.avoid_negated_lits,
+    };
 
     let inst: MultiOptInstance = if let Some(in_path) = args.in_path {
         MultiOptInstance::from_dimacs_path(in_path).expect("error parsing the input file")

diff --git a/tools/src/bin/opb2cnf.rs b/tools/src/bin/opb2cnf.rs
@@ -20,7 +20,10 @@ struct Args {
 
 fn main() {
     let args = Args::parse();
-    let opb_opts = OpbOptions { first_var_idx: 0, ..Default::default() };
+    let opb_opts = OpbOptions {
+        first_var_idx: 0,
+        ..Default::default()
+    };
 
     let inst: SatInstance = if let Some(in_path) = args.in_path {
         SatInstance::from_opb_path(in_path, opb_opts).expect("error parsing the input file")

diff --git a/tools/src/bin/opb2mcnf.rs b/tools/src/bin/opb2mcnf.rs
@@ -20,7 +20,10 @@ struct Args {
 
 fn main() {
     let args = Args::parse();
-    let opb_opts = OpbOptions { first_var_idx: 0, ..Default::default() };
+    let opb_opts = OpbOptions {
+        first_var_idx: 0,
+        ..Default::default()
+    };
 
     let inst: MultiOptInstance = if let Some(in_path) = args.in_path {
         MultiOptInstance::from_opb_path(in_path, opb_opts).expect("error parsing the input file")

diff --git a/tools/src/bin/opb2wcnf.rs b/tools/src/bin/opb2wcnf.rs
@@ -20,7 +20,10 @@ struct Args {
 
 fn main() {
     let args = Args::parse();
-    let opb_opts = OpbOptions { first_var_idx: 0, ..Default::default() };
+    let opb_opts = OpbOptions {
+        first_var_idx: 0,
+        ..Default::default()
+    };
 
     let inst: OptInstance = if let Some(in_path) = args.in_path {
         OptInstance::from_opb_path(in_path, opb_opts).expect("error parsing the input file")

diff --git a/tools/src/bin/shuffledimacs.rs b/tools/src/bin/shuffledimacs.rs
@@ -5,7 +5,7 @@
 //!
 //! Usage: shuffledimacs [dimacs [m,w]cnf file] [output path]
 
-use std::path::{PathBuf, Path};
+use std::path::{Path, PathBuf};
 
 use rustsat::instances::{self, BasicVarManager, ManageVars, RandReindVarManager};
 

diff --git a/tools/src/bin/wcnf2opb.rs b/tools/src/bin/wcnf2opb.rs
@@ -23,7 +23,10 @@ struct Args {
 
 fn main() {
     let args = Args::parse();
-    let opb_opts = OpbOptions { first_var_idx: args.first_var_idx, no_negated_lits: args.avoid_negated_lits };
+    let opb_opts = OpbOptions {
+        first_var_idx: args.first_var_idx,
+        no_negated_lits: args.avoid_negated_lits,
+    };
 
     let inst: OptInstance = if let Some(in_path) = args.in_path {
         OptInstance::from_dimacs_path(in_path).expect("error parsing the input file")