Unfortunately, blogger.com doesn't allow file sharing. So I have to put it up at my Cornell webpage.
Update: I have also moved it to Mediafire, you can download it from the link at the right panel.
The solver is by no means complete and bug-free. Any comments or suggestions are welcome.