The current version fixes a number of bugs in the previous implementation and features new techniques such as factored symmetry exploitation (extending [Kim 2008]) & factored alpha vector masking (extending [Smith & Simmons 2005]).

Requires eclipse for easy compilation and running (import the zip file as an eclipse project archive).

Download the zipped code here and take a look at the README file inside.