In case it doesn't, click here: http://www.symisc.net/downloads/jx9-amalgamation-1007002.zip.
An automated solver for binarypuzzle.com.
A relational and transaction-based database system.