clone

open fun clone(): Solver