From ec9b737b7afbd21c3759b8a2348b28d9ab23ad21 Mon Sep 17 00:00:00 2001 From: Jeff Heiges Date: Fri, 28 Feb 2025 17:13:17 -0700 Subject: Outputs to 1 file instead of 2 --- src/main.rs | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/src/main.rs b/src/main.rs index fb6faef..e7281ab 100644 --- a/src/main.rs +++ b/src/main.rs @@ -13,7 +13,6 @@ fn main() -> std::io::Result<()> { println!("{} {} {}", sclique, order, output_name); let mut buffer = File::create(output_name)?; - let mut buffer2 = File::create(".a")?; let mut edges: Vec<[u32; 2]> = Vec::new(); let c = Context::new(); @@ -30,9 +29,10 @@ fn main() -> std::io::Result<()> { let cliques = c.get::>>("B"); write!(buffer, "p cnf {} {}\n", ((order * (order - 1)) / 2), 2*cliques.len())?; for clique in cliques { + let mut line: String = "".to_owned(); + let mut linen: String = "".to_owned(); for a in 0..sclique { for b in a+1..sclique { - //i += 1; let edge: [u32; 2] = [clique[a], clique[b]]; let result = edges.iter().position(|&val| val==edge); let eindex = match result { @@ -43,12 +43,14 @@ fn main() -> std::io::Result<()> { edges.len() } }; - write!(buffer, "{} ", eindex)?; - write!(buffer2, "-{} ", eindex)?; + line.push_str(&format!("{} ", eindex).to_owned()); + linen.push_str(&format!("-{} ", eindex).to_owned()); } } - write!(buffer, "0\n")?; - write!(buffer2, "0\n")?; + line.push_str("0\n"); + linen.push_str("0\n"); + write!(buffer, "{}", line)?; + write!(buffer, "{}", linen)?; } Ok(()) } -- cgit v1.2.3