ksmt-core/io.ksmt.utils/FpUtils/isZero

isZero

fun KFpValue<*>.isZero(): Boolean