Open Hub project report for SAT4J