【工具介绍】Herbie：浮点数运算化简工具

在一篇论文的case study部分看到了介绍该工具，可以化简浮点数运算，提供一个更简单的形式。
分别贴一下项目源代码链接，项目主页链接。
该工具的目的就是解决用浮点数处理实数问题是造成的不准确的问题。
具体不感兴趣，如果有同行交流的话再共同学习。