Merge pull request #50 from tudelft-cda-lab/fixed_satsolver_and_json_parsing

Fixed satsolver and json parsing

Author: SiccoVerwer

source/dfasat.cpp

@@ -1161,7 +1161,7 @@ void dfasat::perform_sat_merges(state_merger* m) {
 
         if (!color_node.contains(cr)) {
             color_node[cr] = red;
-            std::cerr << "coloring node red " << cr << std::endl;
+            //std::cerr << "coloring node red " << cr << std::endl;
         }
         ++itr;
     }
@@ -1191,7 +1191,7 @@ void dfasat::perform_sat_merges(state_merger* m) {
         if(!color_node.contains(cr)) {
             m->extend(blue);
             color_node[cr] = blue;
-            std::cerr << "coloring node blue " << cr << std::endl;
+            //std::cerr << "coloring node blue " << cr << std::endl;
         } else {
             apta_node* red = color_node[cr];
             m->perform_merge(red, blue);