justicia (pypi): This library can be used formally verify machine learning models on multiple fairness definitions.
Keywords: ML|fairness|verification|Application|of|SSAT|solvers