[SMT-COMP] Request: Help Uploading Solver

Martin Velez marvelez at ucdavis.edu
Tue May 2 20:57:00 EDT 2017


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

*Martin Velez*
UC Davis
(209) 292-4439
marvelez at ucdavis.edu

More information about the SMT-COMP mailing list