nasa / KodiakLinks

Library for rigorous verification of non-linear arithmetic
112Updated last year

Alternatives and similar repositories for Kodiak

Users that are interested in Kodiak are comparing it to the libraries listed below

Sorting: