lib(hcc)

   Hall circuit constraint

