Skip to content

Releases: liffiton/minicard

MiniCard v1.2

06 Apr 14:34
@liffiton liffiton
v1.2
8a4c813
Compare
Choose a tag to compare
MiniCard v1.2 Latest
Latest

Adds support for duplicate literals in cardinality constraints.

Assets 2
Loading

MiniCard v1.1

06 Apr 14:33
@liffiton liffiton
v1.1
e22687f
Compare
Choose a tag to compare
MiniCard v1.1

Adds parsing for .opb input format.

Assets 2
Loading

MiniCard v1.0

12 Mar 03:42
@liffiton liffiton
v1.0
f0f5100
Compare
Choose a tag to compare
MiniCard v1.0 
Put the implies() method in the right place.
Assets 2
Loading