Minerva

Please see: https://www.cs.usfca.edu/~mmalensek/publications/malensek2016minerva.pdf