You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This past week I've been having a bunch of problems related to the solver not terminating, and beginning to terminate once we add some little trick here or there. I could spend time trying to fiddle with different solvers (but then they need to be added to Rosette, which isn't easy) or with internal solver flags (but I don't know what the flags do, so that isn't time well spent). The other thing to do is to just fiddle with the problem (i.e. change things to constants in the yaml) and pray it fixes things. It's not sustainable, but I'm not sure what other option I have.
#255 seems to break 3-stage mult on Lattice, despite barely touching Lattice at all. What happened?
The text was updated successfully, but these errors were encountered: