pycosat https://pypi.python.org/pypi/pycosat というpicosatのPythonバインディングの存在をたまたま知る。 condaで多分パッケージの依存関係の解決に使われているっぽい。 CNFを渡して解を一つ求めるのと解列挙の機能があるだけで、インクリメンタルなAPIはないけれど、手軽にインストールして使うには良さそう。