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