Blueprints for minisat+

Launchpad does not know how minisat+ tracks feature planning or documentation.