OptExplain-master

Requirements

Pyhton 3.x
Numpy
Pandas
z3-solver
sklearn (Cover python-path\Lib\site-packages\sklearn\ensemble\_forest.py with OptExplain\_forest.py)

To run example in tests director:

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
tests		tests
Extractor.py		Extractor.py
FormulaeEstimator.py		FormulaeEstimator.py
Main_Process.py		Main_Process.py
README.md		README.md
Z3Process.py		Z3Process.py
_forest.py		_forest.py