TuffyLite is an open-source MLN inference engine that modifies the original Tuffy solver. - View it on GitHub