【文件属性】：
文件名称：Java健身管理系统源码-PolyCARP:多鲤鱼
文件大小：3.17MB
文件格式：ZIP
更新时间：2021-06-05 10:34:16
系统开源
Java健身管理系统源码多鲤鱼
PolyCARP（用于多边形计算的算法和软件）是一个算法包，用
Java、C++
和
Python
实现，用于计算多边形的包含、碰撞、分辨率和恢复信息。
PolyCARP
的预期应用与但不限于空中交通管理中的安全关键系统。
这个存储库也是原型验证系统中
PolyCARP
算法的正式规范（）。
文档
PolyCARP
的
API
文档仍在开发中。
同时，请参阅发行说明和示例文件以及
.
有关此存储库中定义和算法的技术信息，请访问
。
当前的版本
PolyCARP@FormalATMv2.6.2（2017
年
3
月
18
日）
执照
此存储库中的代码是根据
NASA
的开源协议发布的。
查看目录；
另请参阅本文件末尾的版权声明。
接触
()，美国宇航局兰利研究中心。
版权声明
版权所有
2016
美国*，由美国国家航空航天局局长代表。
版权所有。
无担保：主题软件“按原样”提供，不提供任何形式的明示、暗示或法定担保，包括但不限于，主题软件将符合
AB
保证、针对特定目的的适用性或免于侵权、对相关软件无错误的任何保证，或对文档（如果提供）与相关软件一致的任