又一个定理求解器
vega-solver的Python项目详细描述
版权所有（c）2020 Tomori Nao（@K_atc）
兹免费准许任何人取得复制品 本软件及其相关文档文件（“软件”）的 在软件中不受限制，包括但不限于权利 使用、复制、修改、合并、发布、分发、再授权和/或出售 软件的副本，并允许软件的使用者 根据以下条件提供：
上述版权声明和本许可声明应包括在所有 软件的副本或大部分。在
本软件按“原样”提供，无任何形式的保证，明示或 包括但不限于适销性保证， 特定目的的适用性和非侵犯性。在任何情况下 作者或版权持有人应对任何索赔、损害赔偿或其他 无论是在合同诉讼、侵权诉讼或其他诉讼中，由以下原因引起的责任：， 与软件、软件的使用或其他交易有关 软件。在
描述：vega是一个定理求解器，用来寻找所有可满足的值。在
Please see docs/README.md for more information
平台：未知 分类器：编程语言：：Python:：3 分类器：编程语言：：Python:：3.6 分类器：License:：OSI Approved:：MIT License 说明内容类型：text/x-rst
- 项目
标签：
欢迎加入QQ群-->： 979659372
