(Unofficial) Haskell bindings + Arch Linux package

[de...@eng.ucsd.edu]

Hey all,

I just wanted to briefly announce two things:

1. Haskell bindings for Boolector are now on Hackage: http://hackage.haskell.org/package/boolector

2. We also uploaded an AUR package to install Boolector from the new GitHub release: https://aur.archlinux.org/packages/boolector-git/

Hopefully ya'll will find these useful.

Cheers,

-deian