public BenchmarkToSMTString ( string name, string logic, string status, string attributes, |
||
name | string | Name of the benchmark. The argument is optional. |
logic | string | The benchmark logic. |
status | string | The status string (sat, unsat, or unknown) |
attributes | string | Other attributes, such as source, difficulty or category. |
assumptions | Auxiliary assumptions. | |
formula | Formula to be checked for consistency in conjunction with assumptions. | |
Résultat | string |