The small project i'm developing for my Phd, "Symbolic Exploit Assistant" [1] (SEA) is using it.

[1] https://github.com/neuromancer/sea