Machine learning project using z3 solver. Run command docker run -p 8888:8888 cs560-proj