Introduced a knowValues method with	temporary literals to the satsolver
class.
Updated Sat4J core lib to version 2.3.5.
Fixed automatic build loop for mpl projects.