High level and (hopefully) language-agnostic SAT tools, http://kmkeen.com/sat/