* Described backward search phase
* Added necessary conversions between sat4j code and ours
* sat4j.scala module appended to project source