Skip to content
GitLab
Explore
Sign in
Mikhail Katliar
tmpc
Issues
#34
Implement more thorough tests for condensing
Currently the resulting Z, z, C, D, lbd, ubd are not checked.