A RET-supported logic gate combinatorial library to enable modeling and implementation of intelligent logic functions. Issue 3 (9th December 2015)