feat(solver): added rounding

Author: s-n-sharma

core/compiler/build.rs

@@ -35,7 +35,7 @@ fn main() {
     println!("cargo:rerun-if-changed=wrapper.h");
     println!("cargo:rerun-if-changed=build.rs");
 
-    // Link libraries
+    // // Link libraries
     println!("cargo:rustc-link-search=native=/opt/homebrew/lib");
     println!("cargo:rustc-link-lib=spqr");
     println!("cargo:rustc-link-lib=cholmod");

core/compiler/src/solver.rs

@@ -185,7 +185,7 @@ impl Solver {
             .map(|i| {
                 let actual_val = x[(i, 0)];
                 let actual_var = rev_var_map[i];
-                (Var(actual_var as u64), actual_val)
+                (Var(actual_var as u64), round(actual_val))
             })
             .collect();