AllSAT

It would also be nice to show people the best way to branch based off whether the result is unsatisfiable or not. I can't actually think of an elegant way to do it (see http://stackoverflow.com/q/25333051/161801).