Trealla Prolog templates for Spin
Why do you think that https://github.com/guregu/trealla is a good alternative to trealla-spin
Trealla Prolog templates for Spin
Why do you think that https://github.com/guregu/trealla is a good alternative to trealla-spin