bug fix at isUnit method
changed the list of unit constraints to a hashset
changed the list of unit constraints to hashset
adding a method to compute a instance
optimized the methods updateCurrentSum and updateSlack
fixed a bug
optimized the getCurrentState method
adding some test instances
changed the procedure of choosing a literal
optimization of the learn method