mastermind1014

Check out Caramel [1] as well -

[1] https://github.com/AbstractMachinesLab/caramel