brittany (hackage): See the README.  If you are interested in the implementation, have a look at this document;  The implementation is documented in more detail here.
Keywords: agpl|language|library|program