JFTR, Also take a look on Astree[0] & Foucault2[1]. [0] https://github.com/edeforas/Astree https://github.com/edeforas/Astree [1] https://github.com/edeforas/

JFTR, Also take a look on Astree[0] & Foucault2[1]. [0] https://github.com/edeforas/Astree https://github.com/edeforas/Astree [1] https://github.com/edeforas/Foucault2 https://github.com/edeforas/Foucault2