Error when initializing solve() function with 'options' parameter about pycsp3 HOT 3 CLOSED

Sorry for the delay (it seems that the message was not sent or received).

A first quick answer is that you can use specific options for the solver.
The value to 'options' is added to the command line used to run the solver.
For example, you can test :

if solve(verbose=0, options="-t=10s") in (SAT, OPTIMUM):
    print(values(x))

The value "-t=10s' is valid for the solver ACE.

I am going to check a few things, and will post an additional part for the answer

from pycsp3.

We have to improve the documentation here (concerning the way to pass options to solvers).
To answer your questions, in addition to the first possible statement of my previous answer, you can also write:

if solve(solver="ACE,v,limit=4s") is SAT:

or

if solve(solver="CHOCO,v,limit=4s") is SAT:

Of course, note that v (for verbose) can be discarded.

from pycsp3.

Thank you very much for the responce. This worked. I'm gonna go ahead and close the issue now.

from pycsp3.