/* * Remove all covenants from this solver * * call-seq: * solver.covenants_clear! -> void * */ void covenants_clear()