You can buy this project and download/modify it how often you want.
Contains a command line launcher for the SAT solvers.