蛋小Python：一个用于E图的Pythonic库
摘要：Python绑定的引入为实验性egg-smol库带来了E图作为一种多功能的数据结构，它在合成、优化和验证等领域中具有应用价值，通过等式饱和等技术。该绑定提供了一个高级、Pythonic的API，为Python用户提供了一个可访问和熟悉的接口。通过将E图技术与Python集成，我们希望在科学计算和机器学习社区的各个领域中促进合作和创新。我们讨论了使用Python绑定的优势，不仅对Python用户而且对现有的egg-smol用户，以及可能的未来发展方向。
作者：Saul Shanabrook
论文ID：2305.04311
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-05-09