nasa/Kodiak

Library for rigorous verification of non-linear arithmetic

语言：C++ · GitHub 星标：117 · Fork：34

在 GitHub 上查看原仓库