ksmt-core/io.ksmt.expr.rewrite.simplify/SIMPLIFIER_DEFAULT_BOUNDED_REWRITE_DEPTH

SIMPLIFIER_DEFAULT_BOUNDED_REWRITE_DEPTH

const val SIMPLIFIER_DEFAULT_BOUNDED_REWRITE_DEPTH: Int = 3