SMTLib2C software on GitHub

Software OPEN SOURCE

A simple tool for translating Skolem functions in SMT-Lib 2.0 to C implementations
Share - Bookmark