the latest product by Armin Biere

SAT Competition 2020の予稿集より。

• 変数のiteratorを使用するようになった
• なんかWatcherのメモリ使用量が減った
• ただしtagつけるので変数のインデックスはCPUアーキテクチャギリギリのビット幅ではなく、28ビットで表現できるところまで減少する。これは約2億7000万変数を意味する。

など。 TBC