Any possibility of an MIT license version?

[Chanseok Oh]

Hello,

We are a research team developing SAT solvers MapleCOMSPS and COMiniSatPS. We used M4RI in our solvers for this year's SAT competition, but we do need to stick with the MIT license publicly. I know the chances are extremely slim, but I was given the task anyway to ask you if you have any willingness to release an MIT version.

Thank you,

Chanseok Oh

[Martin R. Albrecht]

Hi Chanseok,

I’m afraid that this is indeed rather unlikely to happen. We’ve
discussed this before and not everybody was happy with the move,
cf

https://groups.google.com/d/msg/m4ri-devel/dJ4fCyiZRY8/_4_A_7BytpcJ

Cool to see M4RI used in more SAT-solvers though! :)

Cheers,
Martin

Chanseok Oh <chans...@gmail.com> writes:
> Hello,
>
> We are a research team developing SAT solvers MapleCOMSPS

> <https://sites.google.com/a/gsd.uwaterloo.ca/maplesat/> and

> COMiniSatPS. We
> used M4RI in our solvers for this year's SAT competition, but we
> do need to
> stick with the MIT license publicly. I know the chances are
> extremely slim,
> but I was given the task anyway to ask you if you have any
> willingness to
> release an MIT version.
>
> Thank you,
> Chanseok Oh

--

_pgp: https://keybase.io/martinralbrecht
_www: https://martinralbrecht.wordpress.com
_jab: martinr...@jabber.ccc.de
_otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF