We need to extend the double comparison constraints in CGreen. Currently, the library supports is equal to…

We need to extend the double comparison constraints in CGreen. Currently, the library supports is equal to…: a task in LegoFlow-SWE (Harbor dataset). The number of significant figures is controlled by the existing function significant figures for assert double are(int figures) . Both constraints…