Update to tuffy version 4.0 hosted at Stanford
Merge pull request #2 from allenai/stanford-tuffy

Update to tuffy version 4.0 hosted at Stanford
Disable greedy throttling
Merge pull request #3 from ericgribkoff/master

Disable greedy throttling
replacing calls to random with SeededRandom
converted to LinkedHashMap/LinkedHashSet for deterministic ordering
Undoing changes to config and MLN parsers
switching the messages on each iteration of MC-SAT and SampleSAT to verbose=3
adding options to set seed for Java random number generator and Postgres random number generator
remove credentials
noting which files relied on java.util.concurrent.ConcurrentHashMap
Merge pull request #4 from ericgribkoff/deterministic

Deterministic
adding -writeClauses option to print out the grounded MLN with original predicate names and domain constants
Merge pull request #6 from ericgribkoff/master

Write the grounded MLN to a file
add weights to output grounded MRF
Merge pull request #7 from ericgribkoff/master

Include clause weights in output of -writeClauses