Ahmed Irfan

Nonlinear support

12

Nonlinear support: Mathsat and CVC4

`AC_PROG_CC_C99` is obselete in the newer version of autoconf (2.70 and newer). This PR fixes replaces `AC_PROG_CC_C99` by `AC_PROG_CC`. https://www.gnu.org/software/autoconf/manual/autoconf-2.70/html_node/Obsolete-Macros.html

Rename smt status enum

3

Towards fixing #418 Reason for the change: STATUS_INTERRUPTED is a defined in windows, and we are using it in the smt_status_t enum. This PR renames the symbols used in the...

Followup of https://github.com/SRI-CSL/yices2/issues/454