identity_function

People still use curly braces these days ???

So I also solved the puzzle using Z3. But it did got me interested whether I could write a simple LP solver myself - powerful enough to solve this particular puzzle. Are there any Comp. Sci brainiacs around that could point me to some material? Lecture notes? Some online available practicum perhaps? Much appreciated.

Somehow your meme made me ashamed for being the girl on the right.

One of us !!!

Set intersection and difference anyone.

—- Programming is a branch of mathematics, Dijkstra.