Containment comes to CORA

It is official, a giant chunk of the coding I did during my PhD is now available in the CORA toolbox, specifically, for version 2025.1.0! The new update contains novel techniques to check for containment of two sets, and also gives a way to measure ‘how far away’ a set is from being contained. Moreover, the new release of AROC is also on the way, which will allow using those new CORA techniques in practice.