@andrewrk we use the clingo ASP logic solver; i believe c/++ ABI compatibility is a much more complex and appropriate use case for a 3rdparty logic solver than smaller ecosystems like pip/npm/cargo, and was looking to translate dependencies across tools/ecosystems