benchmarkToSmtlib function

String benchmarkToSmtlib({
  1. required String name,
  2. required String logic,
  3. required String status,
  4. required String attributes,
  5. required Iterable<AST> assumptions,
  6. required AST formula,
})

Convert the given benchmark into a SMT-LIB string.

Implementation

String benchmarkToSmtlib({
  required String name,
  required String logic,
  required String status,
  required String attributes,
  required Iterable<AST> assumptions,
  required AST formula,
}) =>
    currentContext.benchmarkToSmtlib(
      name: name,
      logic: logic,
      status: status,
      attributes: attributes,
      assumptions: assumptions.toList(),
      formula: formula,
    );