Several models and tools are available on this repository.

A model using sequence variables can be found here.