プログラム bddbddb.sf.net

BDD ベースの控除データベース、基になるデータ構造としてバイナリ決定図を使用するデータログの実装。これにより、指数関数的に大きなリレーションを効率的に表現できます。