oxfordcontrol/TRS.jl

Constrained TRS is broken

nrontsis opened this issue · 0 comments

Tests for constrained TRS do not work after the latest commit 6bad0b7

It seems that this is a problem of pop_solution! and/or extract_solution_hard_case.