minimize package:sbv

Minimize a named metric NB. For a version which generalizes over the underlying monad, see minimize
Minimize this metric
Minimizing a metric space