César Santos

It's not a major thing, but in an IDE for example it adds 3 extra files per extension. With only 1 cpp file it's not a big deal, but if...

No problem 👍

I didn't think of that, that is indeed a problem. You're right that due to python semantics this can't be solved. One idea is to look at leading underscores when...

Yes, it only happens with C. Also in C++ the prefixes are rarely useful since namespaces solve the problem much better.

Apologies for commenting on an old issue, but am I to understand that there is no way to solve exists/forall problems through the Python API? I've tried setting the logic...

I just noticed that Yices has a yices_generalize_model function, which I could use to implement an equivalent CEGIS loop in Python. I also noticed that function only works on BOOL,...

Hi Bruno, I finally got a chance to try it, works amazingly well. I was able to find all solutions to my problem 2 orders of magnitude faster than with...

I've had this happen to me, the issue was passing something that was not a list of variables to the model.translate() method. I was passing the .values() of a dict...

You have a formula of the form: i -> (a * x + b * y

I would definitely stick with the simple implementation. Full support for indicator constraints, if it happens, should be at the CBC level and not Python-MIP.