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: Jul 20, 2021

org.alloytools.pardinus

org.alloytools : pardinus

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

Last Version: 1.3.0

Release Date: Jul 20, 2021

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: Jul 20, 2021

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: Jul 20, 2021