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

Michael Tautschnig tautschn at model.in.tum.de
Tue Jun 1 12:47:07 EDT 2010


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


More information about the SMT-LIB mailing list