RATZ和ZTAR

此网站提供访问我们的RATZ和ZTAR防压缩和解压缩工具。有关更多详细信息，请参阅以下论文关于这种方法。

Marijn Heule，Armin Biere。条款证明压缩.英寸程序。第十一届国际研讨会逻辑实现（IWIL’15），EPiC系列计算第40卷，第21-26页，EasyChair，2016年。
[纸张|围巾|拉茨|丁苯橡胶]

该软件根据麻省理工学院许可证提供：

[ ratz2.tar.bz2 ]