[SMT-LIB] Boolector 1.3 Source Code Release under GPL

[Michael Tautschnig]

Hi Armin & list,

> We have just released the source code of Boolector 1.3.
> It uses GPL as license and can be found at:
> 
> http://fmv.jku.at/boolector
> 

Unless you object or someone else is already working on this I'd offer to
package Boolector for Debian. I'll try to get this done within the next couple
of days.

Best,
Michael

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
Url : /pipermail/smt-lib/attachments/20100601/fbe85c10/attachment.bin