Skip to content

MiniCard v1.2

Latest
Compare
Choose a tag to compare
@liffiton liffiton released this 06 Apr 14:34
· 2 commits to master since this release

Adds support for duplicate literals in cardinality constraints.