Public API for ode4j.