It’s worth learning the basic use of some constraint solver, since they are now so fast and powerful. Z3 is free software and is very, very good, and you’d be surprised how many problems it can tackle (see: hundreds of examples in this book) that might actually come up in your work or life. In particular, you can attack scheduling problems with Z3 and people will think you are a wizard.
It’s worth learning the basic use of some constraint solver, since they are now so fast and powerful. Z3 is free software and is very, very good, and you’d be surprised how many problems it can tackle (see: hundreds of examples in this book) that might actually come up in your work or life. In particular, you can attack scheduling problems with Z3 and people will think you are a wizard.