/tuffy

Tuffy, a Markov Logic Network solver

Primary LanguageJava

This is the source code for Tuffy 0.4 (Visit http://www.cs.wisc.edu/hazy/tuffy/ for license information).

In the present folder, run the following two commands to build the jar:

$ ant
$ ant dist