Tuffy, a Markov Logic Network solver - View it on GitHub