Question about library repair

A few days ago, I posted about a bug in this library. The problem is that
sometimes, when constraints have multiplications (at least that's when I
found out), an error of instantiation error is raised.

I was wondering if there is a corrected version of that library by the
developers or, if that is not possible, to know when a patch for that
problem will be available.

If possible, I would ask if it could be corrected, because I  need it for my
current research.

Thanks in advance and I hope I am not being a pain.

--Rui Mendes.