Yo, I am back

I feel like I have not written on the Internet for so long and there is this deep desire within me to express myself. Does not matter if it is to strangers.

It’s 10 in the morning and I am just starting to work on an interesting assignment using Z3. I will probably constantly keep posting updates here.

PS: it’s solving Kenken puzzles!

Note: This is an archived post from my unmaintained Tumblr blog https://k4rtik.tumblr.com

Older article