SBSAT is the University of Cincinnati's State-Based Satisfiability Solver.

My first contribution was creating a slider generator, which creates CNF files that cause the SAT solver to explore most of the search space prior to finding a solution.


PSPP is a Free program for statistical analysis of sampled data. It's a replacement for the proprietary program SPSS, and is meant to appear very similar to it with a few exceptions.

This was the first package I added to MacPorts, and began providing installers for older Mac systems since.

Further information can be found at the PSPP web site.


PSPP can be installed through MacPorts. My installers were previously hosted on bintray, which got bought-out and shutdown by jfrog. I won't be hosting them any longer either but they can be recreated with MacPorts if anyone needs to distribute installers, though simply installing MacPorts is the better option. GUI programs are in /Applications/MacPorts/ and command line in /opt/local/bin/. I've worked with the PSPP developers to fix any OS X-specific issues I discovered in testing, ensuring PSPP for Mac runs as well as other platforms.


Please direct PSPP-specific questions to the appropriate mailing lists, namely PSPP user discussions and PSPP bug reports.


I've been contributing to the MacPorts project since I joined in 2009.

During that time, I mentored in Google's Summer of Code:

The first port I ever maintained was PSPP, and since then I've picked up several other packages as I addressed tickets and used open source software—sometimes creating new ports of them for the Mac. I now maintain over 150 packages.

I've also helped push modifications to the core of MacPorts including SHA256 checksums and binary archives, all of which went live with MacPorts 2.0.