The landslide codebase. Relevant reading:
- user guide: http://bblum.net/landslide-guide.pdf
- thesis document: http://bblum.net/thesis.pdf (tech report number CMU-CS-12-118)
- 15-410 lecture slides: http://bblum.net/landslide-lecture-2013.pdf
The landslide codebase. Relevant reading: