Gennitor, is a novel automated code generation and reasoning system, potentially applicable to any programming language…
