Code for better understanding of solvers and other non-trivial stuff

[serokellcao]

I don't know how, but my opinion:

• top-level functions have to be declarative, expressing the conceptual logic of what you're doing
• low-level values can have various representations, sometimes, it's worth having a conceptual identifier or a conceptual function that returns this value
• if you are afraid that writing concrete identifiers will be too concrete, write a comment