Replace python-fcl with Coal for aarch64 Linux support#440

Closed

KE7 wants to merge 4 commits intoBerkeleyLearnVerify:mainfrom

KE7:coal-collision-backend

Commits on Mar 7, 2026

Replace python-fcl with Coal for collision detection

KE7
and
claude
committed

Commits on Mar 10, 2026

Fix formatting, remove dead import, clarify pairwise fallback

KE7
and
claude
committed
Fix O(n²) regression: use contact.o1.id() for broadphase pair identity

KE7
and
claude
committed
Add unit test for BlanketCollisionRequirement pair identification

KE7
and
claude
committed