[SMT-COMP] Request: Help Uploading Solver

Tue May 2 20:57:00 EDT 2017

Hello,

I uploaded a solver written in Python that has some Python package
dependencies like sympy and numpy.  First, I downloaded the VM to test out
that the solver runs correctly.  Then, I uploaded to StarExec but I am
getting some errors.

Can someone help me?  I posted in the forum but I am not sure if it is
manned.

Saludos,
*Martin Velez*
UC Davis
(209) 292-4439
marvelez at ucdavis.edu
http://martinvelez.github.io