Source

Source code for Batfish can be found on github.