TuffyLite is an open-source MLN inference engine that modifies the original Tuffy solver.
Scala versions:
2.11
1
version found for
tuffy-internal