toDimacs method

String toDimacs({
  1. bool includeNames = true,
})

Implementation

String toDimacs({bool includeNames = true}) {
  return _c._z3
      .solver_to_dimacs_string(_solver, includeNames)
      .cast<Utf8>()
      .toDartString();
}