lib/SMTLIBUtils/src/main/kotlin/smtlibutils/externalsolvers/mathematica
