Updated build script for pymc
Removed copiler flags from build.sh
Incremented PyMC version to 2.3.1
Incremented PyMC version to 2.3.2
Fix minisat+ Makefile to let us add stuff to variables
Install minisat+
Call it minisat-plus, so that it works on binstar
Also compile the bignum version
initial revision (partial)
Add a minisat recipe
Fix minisat recipe
core and simp are separate versions
Add a real test for minisat
Allow the test to exit 10
Make the test not look like a selector
adding doto recipe
Merge pull request #87 from fonnesbeck/master

Updated PyMC recipe
Merge pull request #88 from quasiben/master

Add recipe for doto
Update minisat to use version from https://github.com/niklasso/minisat/
Work on getting minisat+ to use https://github.com/niklasso/minisatp/