A tool for automatic generation of specifications based on realizability theory - View it on GitHub