Buy Me a Coffee at ko-fi.com

Alt-ergo

SMT solver for software verification

Pronunciation
/ɔlt - ˈɛrɡoʊ/
/ɔːlt - ˈəːɡəʊ/