Project Group: org.alloytools

org.alloytools.pardinus.nativesat

org.alloytools : pardinus.nativesat

A temporal relational model finder, extending the Kodkod relational model finder.

Last Version: 1.3.0

Release Date:

org.alloytools.pardinus

org.alloytools : pardinus

A temporal relational model finder, extending the Kodkod relational model finder.

Last Version: 1.3.0

Release Date:

org.alloytools.pardinus.taglets

org.alloytools : pardinus.taglets

A temporal relational model finder, extending the Kodkod relational model finder.

Last Version: 1.3.0

Release Date:

org.alloytools.pardinus.core

org.alloytools : pardinus.core

A temporal relational model finder, extending the Kodkod relational model finder.

Last Version: 1.3.0

Release Date:

  • 1