anything that like sat4j : <a href="http://www.sat4j.org">www.sat4j.org</a> will be helpful.