Howard Stuckey physics-calculator1134