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

Armin Biere biere at jku.at
Tue Jun 1 10:39:38 EDT 2010

Previous message: [SMT-LIB] Questions: UF in QF_AUFBV, defn of symbols, bit-vector division.
Next message: [SMT-LIB] Boolector 1.3 Source Code Release under GPL
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Armin & Robert

Previous message: [SMT-LIB] Questions: UF in QF_AUFBV, defn of symbols, bit-vector division.
Next message: [SMT-LIB] Boolector 1.3 Source Code Release under GPL
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the SMT-LIB mailing list