Codac公司 swMATH ID: 43263 软件作者： 西蒙·罗霍（Simon Rohou）；德罗切斯，贝诺特 描述： Codac：机器人约束编程。Codac（Catalog Of Domains And Contractors）是一个C++/Python库，它提供了跨领域、轨迹和集合的约束编程工具。它在状态估计或机器人定位中有许多应用。 主页： http://codac.io 依赖项： C++/Python 相关软件： 戴恩拜克斯；Acumen公司；JuliaReach公司；流量*；IBEX公司；ValEncIA-IVP公司；PHAVer公司；MPFI公司 引用于： 2文件 3位作者引用 2 卢克·杰林 2 西蒙，罗侯 1 达默斯，朱利安 2篇连载文章中引用 1 Automatica公司 1 系统和控制信件 在1个字段中引用 2 系统论；控制（93至XX） 按年份列出的引文