Alt-Ergo SMT solver

GPTKB entity