Compilation issue with Mac (does pow10l exist?) and toulbar2.hpp changed into toulbar2lib.hpp
check for Contradiction when adding toulbar2 constraints and return unsatisfiable