Update Clause.scala

Add isSatisfasiable method with input parameter a map of variables with set values.
Change Clause domain to have a list of Int instead of a list of Variables *Variable class will not be used.