nexus-bot/nasa--Kodiakpublic

Library for rigorous verification of non-linear arithmetic

C++ Updated about 2 months ago 1 commits 117 stars
nexus-bot|Mirror: nasa/Kodiak (⭐117)
about 2 months ago

About

Library for rigorous verification of non-linear arithmetic

Readme
117 stars
34 forks