Commiting jar files for SAT solver