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