Gravar-mail: A RET-supported logic gate combinatorial library to enable modeling and implementation of intelligent logic functions