Developing logic solutions