feat(t-wise): only consider valid interactions

SoftVarE-Group · May 27, 2024 · 1711915 · 1711915
1 parent 11af252
commit 1711915
Show file tree

Hide file tree

Showing 16 changed files with 624 additions and 460 deletions.
diff --git a/src/bin/ddnnife.rs b/src/bin/ddnnife.rs
@@ -4,7 +4,7 @@ static GLOBAL: mimalloc::MiMalloc = mimalloc::MiMalloc;
 use clap::{ArgGroup, Parser, Subcommand};
 
 use ddnnf_lib::ddnnf::anomalies::t_wise_sampling::save_sample_to_file;
-use ddnnf_lib::parser::util::format_vec;
+use ddnnf_lib::util::format_vec;
 use itertools::Itertools;
 
 use std::fs::File;