CRAM libraries for physics-based reasoning and related packages, e.g. projection.