Adding SMTRat and MathSAT interpreters
[satune.git] / src / Interpreter / smtratinterpreter.cc
1 /*
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.
5  */
6
7 /* 
8  * File:   smtratinterpreter.cc
9  * Author: hamed
10  * 
11  * Created on February 21, 2019, 2:33 PM
12  */
13
14 #include "smtratinterpreter.h"
15
16 SMTRatInterpreter::SMTRatInterpreter(CSolver *solver): 
17         SMTInterpreter(solver)
18 {       
19 }
20
21 void SMTRatInterpreter::compileRunCommand(char * command , size_t size){
22         snprintf(command, size, "timeout %u ./smtrat %s > %s", getTimeout(), SMTFILENAME, SMTSOLUTIONFILE);
23 }
24
25 SMTRatInterpreter::~SMTRatInterpreter(){
26 }