Add NetKAT solutions