fix: do not tear variables with positive priority in trivial_tearing!#74

AayushSabharwal merged 1 commit into

mainJuliaComputing/StateSelection.jl:mainfrom

as/trivial-tearing-state-prioritiesJuliaComputing/StateSelection.jl:as/trivial-tearing-state-prioritiesCopy head branch name to clipboard