GitHub repository: serpent-charmer/IAN
Primary language: C++
Description: interval analysis cpp utilities