Resolution theorem proving for predicate logic in pure Python.
Black box hyperparameter optimization made easy.
