舒适:集合合成器 源码

舒适 Cozy是从简单的高级规范中综合数据结构实现的工具。 它会自动选择数据的良好表示形式和有效的方法实现。 Cozy可以大大简化编写具有私有状态的软件模块的任务。 在大多数情况下,Cozy规范简短且可以自我记录,因此比手写实现更易于维护。 有时,Cozy可以发现人类开发人员不愿进行的深层优化。 目前,Cozy可以为C ++和Java生成代码。 快速开始 依存关系: 在requirements.txt列出的Python模块; 使用pip3 install -r requirements.txt安装它们。 如果您遇到麻烦,请查阅Wiki页面上的。 要列出所有命令行选项(并确保正确安装