The Smart Way to Design and Simulate your Logics