OpenMath and SMT-LIB

03/05/2018
by   James H. Davenport, et al.
0

OpenMath and SMT-LIB are languages with very different origins, but both "represent mathematics". We describe SMT-LIB for the OpenMath community and consider adaptations for both languages to support the growing SC-Square initiative.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset