DeMAS: Library of Approximate Adders

The library can be downloaded here.