Translation from Conjure-Oxide Model to CNF KissSAT

.gitignore

@@ -157,3 +157,10 @@ fabric.properties
 
 # Android studio 3.1+ serialized cache file
 .idea/caches/build_file_checksums.ser
+
+# IDEA config files - idk if we actually need these?
+.idea/vcs.xml
+.idea/misc.xml
+.idea/inspectionProfiles
+.idea/.gitignore
+.idea/conjure-oxide.iml

conjure_oxide/src/main.rs

@@ -19,13 +19,7 @@ struct Cli {
 }
 
 pub fn main() -> AnyhowResult<()> {
-    println!(
-        "Rules: {:?}",
-        conjure_rules::get_rules()
-            .iter()
-            .map(|r| r.name)
-            .collect::<Vec<_>>()
-    );
+    println!("Rules: {:?}", conjure_rules::get_rules());
 
     let cli = Cli::parse();
     println!("Input file: {}", cli.input_file.display());