Skip to content

Rosette 2.2
Compare
Choose a tag to compare
@emina emina released this 29 Jul 00:54
· 359 commits to master since this release
2.2
550b9b6

This release extends Rosette 2.1 with support for quantified formulas and the distinct? predicate. See NOTES.md for details.

Assets 2
Loading