2 * To change this license header, choose License Headers in Project Properties.
3 * To change this template file, choose Tools | Templates
4 * and open the template in the editor.
8 * File: smtratinterpreter.cc
11 * Created on February 21, 2019, 2:33 PM
14 #include "smtratinterpreter.h"
16 SMTRatInterpreter::SMTRatInterpreter(CSolver *solver):
17 SMTInterpreter(solver)
21 void SMTRatInterpreter::compileRunCommand(char * command , size_t size){
22 snprintf(command, size, "timeout %u ./smtrat %s > %s", getTimeout(), SMTFILENAME, SMTSOLUTIONFILE);
25 SMTRatInterpreter::~SMTRatInterpreter(){