chiark / gitweb /
added nlopt_force_stop termination