FVGM merged with Justicia

In this version, we have merged Justicia with FVGM, an accurate and scalable fairness verifier for linear classifiers.

SSAT compatibility with more encodings

This version is compatible with SSAT solver. More encodings are included to capture data-correlation.

PIP release

Resolve compatibility with pyrulelearn.

PIP Library

Bug fixed in Enum-correlation encoding.