search

BerkeleyLearnVerify / Scenic

A compiler and scenario generator for the Scenic scenario description language.
https://scenic-lang.org/
Other
271 stars 93 forks source link

Mesh Volume Intersects Heuristic #156

Closed Eric-Vin closed 1 year ago

Eric-Vin commented 1 year ago

New heuristic for uni-body mesh volume intersects checks. Also adds preprocessing to try to consolidate non-disjoint bodies in mesh volumes and mesh shapes, so that we can use the new heuristic more often.