[bd]

Not Havok, but close. It was MathEngine, which made Karma physics engine (used for example in old Unreal).

They were later bought by Criterion (RenderWare) which was subsequently acquired by Electronic Arts, where it just died.