boolector 1.5.118.6b56be4.121013-1 (arm64 binary) in ubuntu saucy

 Boolector is an efficient SMT solver for the quantifier-free theory of
 bit-vectors in combination with the quantifier-free extensional theory of
 arrays.

Details

Package version:
1.5.118.6b56be4.121013-1
Source:
boolector 1.5.118.6b56be4.121013-1 source package in Ubuntu
Status:
Obsolete
Component:
universe
Priority:
Extra

Package relationships

Depends on: