8000 Releases · liffiton/minicard · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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.

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.
Loading
0