Troubles with running examples.

[AdamBanham]

Hi,

I am trying to run the example in the readme, but I keep running into missing python modules. I intend to use cocomot in an evaluation for an upcoming paper, could you provide a complete list of modules required and their exact versioning?

I (believe) have yices and z3 working and their associated python binding modules, but after attempting to run this command:
py src/cocomot.py data/sat_paper/sat_paper_fig2.pnml data/sat_paper/sat_paper_fig2.xes

I get the following traceback about a missing module:

Traceback (most recent call last):
  File "C:\Users\...\git projects\cocomot\src\cocomot.py", line 12, in <module>
    from smt.omsolver import OptiMathsatSolver
  File "C:\Users\...\git projects\cocomot\src\smt\omsolver.py", line 3, in <module>
    from optimathsat import *
ModuleNotFoundError: No module named 'optimathsat'

Thanks in advance,
Adam