Common algorithmic core for state selection in MTK, DAECompiler, JuliaSimCompiler - View it on GitHub