ptolemy.domains.continuous.kernel.solver