Solidity storage usage
In this post, I will show how Solidity administrates the Ethereum Virtual Machine (EVM) storage. Storage operations are extremely costly so good knowledge is...
Recent Posts
Planar graphs and maps
Typically, maps can be represented by planar graphs. Planar graphs are graphs that can be drawn without their edges intersecting. For example, the following...
Solving Einstein riddle with Z3
Einstein’s five-houses consists, as the title says, of 5 houses. Each house has a certain color. Inside of each house, its owner has a pet, smokes a certain ...
Min-cut problem variations
Last week I needed to solve a variation of the min-cut problem for flow networks. For those who don’t know about the minimum cut of a flow network, I will gi...