Fix up to build with clang (and fix another bug)

- Remove exceptions
- Remove dynamic casts

The bug was relating to MaxStrategy not cleaning up the influence sets
after propagating changes. I just added a call to .clear() and it seems
fine.

1 files changed, 4 insertions, 2 deletions

diff --git a/impl/VariableAssignment.hpp b/impl/VariableAssignment.hpp
index 69eeef2..907b5ab 100644
--- a/impl/VariableAssignment.hpp
+++ b/impl/VariableAssignment.hpp
@@ -68,10 +68,12 @@ private:
           solve(_system.variable(*it));
         }
       } else {
-        log::fixpoint << indent() << x << " did not change" << std::endl;
+        log::fixpoint << indent() << x << " did not change: "
+		      << x << " = " << val << std::endl;
       }
     } else {
-      log::fixpoint << indent() << x << " is stable" << std::endl;
+      log::fixpoint << indent() << x << " is stable: "
+		    << x << " = " << _values[x] << std::endl;
     }
   }