Ubuntu
boolector package

Branches for Natty

Name Status Last Modified Last Commit
lp:ubuntu/natty/boolector 2 Mature 2010-10-13 02:54:53 UTC
2. Initial release (Closes: #584542)

Author: Michael Tautschnig
Revision Date: 2010-06-09 00:16:01 UTC

Initial release (Closes: #584542)
1 → 1 of 1 result First • Previous • Next • Last