Nah, the core math for Equation of Happiness is my dad's thing, and it's using a genetic algorithm for its optimization stuff, all I did was port some of his co

Nah, the core math for Equation of Happiness is my dad's thing, and it's using a genetic algorithm for its optimization stuff, all I did was port some of his code to Julia and write a basic web frontend. If I had known about Z3's optimization tools when he was writing the book, I might have tried to use it, but I'm not sure how well Z3 would actually work with the differential equation stuff he was doing, since it's not really discrete. I'm working on something that is trying to utilize Z3 for some financial market stuff that I hack on in my free time.