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 model_print("Calling SMTRat...\n");
23 snprintf(command, size, "./run.sh timeout %u smtrat %s > %s", getTimeout(), SMTFILENAME, SMTSOLUTIONFILE);
26 SMTRatInterpreter::~SMTRatInterpreter(){