Downloads

Name Size Uploaded by Downloads Date
Download repository 633.5 KB
Tag Commit Date Download
tip c001657
v4.0.0 5e2c4f7
v0.3.2 e31e9b1
v0.3.1 714727d
v0.3.0 4d5bc01
v0.2.0 534e729
v0.1.1 774d4be
v0.1.0 1ca9855
Branch Commit Date Download
default c001657
pepeiborra/added-instance-of-monadfix-for-the-z3-mo-1415494306616 689a9a2