Curious, would your data constraints be related to http://equationofhappiness.com/ http://equationofhappiness.com/ Would like to know how you us Z3 to evaluate

Curious, would your data constraints be related to http://equationofhappiness.com/ http://equationofhappiness.com/ Would like to know how you us Z3 to evaluate emotional happy Q. Could you apply that to evaluate a piece of content (like thread, feed, comment) and then evaluate the energy of the thing for its happiness quotient value whatever? then you can just Z3 the thread and determine the psychological predicted impact... Maybe you could then design casula games that provide the positive happy Q vibes. -- I was in a program from when I was a baby with UCSD that was a life tracking project and they would check in with you every so often to see where you were on that trajectory - and where you were happy in life etc. Problem is that it was also tied to Morehouse University, MK, Vic Baranco, and a bunch of other Stanford thingy's from the 70s that we all know abou these days.