<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On 16 Jun 2011, at 10:01, Vlad Dumitrescu wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div class="gmail_quote">On Thu, Jun 16, 2011 at 08:43, Ulf Wiger <span dir="ltr"><<a href="mailto:ulf.wiger@erlang-solutions.com">ulf.wiger@erlang-solutions.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div style="word-wrap:break-word"><br><div><div class="im"><div>On 16 Jun 2011, at 08:30, Vlad Dumitrescu wrote:</div><br><blockquote type="cite">Hi,<div><br></div><div>This kind of issues are worse than flame wars! :-)</div>
<div><br></div><div>I have yet another point of view that increases the confusion: PropEr is mostly compatible with Triq and QuickCheck (there's a free older version).</div></blockquote><div><br></div></div><div>Well, there is a version available in jungerl, but to my knowledge, it was not put there by the authors, and not actually intended to be free. Even so, one might consider it a lot less sensitive to copy that version than the later, proprietary, versions of QuickCheck.</div>
<div></div></div></div></blockquote></div><div><br></div><div>Quviq released an official mini-version last year.</div><br><div><a href="http://www.quviq.com/news100621.html">http://www.quviq.com/news100621.html</a></div>
</blockquote><br></div><div>Yes, but the QuickCheck Mini license agreement, while permitting free use and re-distribution, specifically forbids reverse-engineering. Thus, we should hope that the PropEr developers did not obtain a copy of QuickCheck Mini and ran it in order to learn how it worked, as this would put them in violation of the EU Directives regarding software copyright.</div><div><br></div><div>For those who are inspired by PropEr, but are put off by the GPL, using and re-distributing QuickCheck Mini is of course unproblematic. ;-)</div><div><br></div><div>BR,</div><div>Ulf W</div><br><div>
<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><div>Ulf Wiger, CTO, Erlang Solutions, Ltd.</div><div><a href="http://erlang-solutions.com">http://erlang-solutions.com</a></div><div><br></div></span><br class="Apple-interchange-newline">
</div>
<br></body></html>