Error: "system cannot find the path specified"

[Abdusha]

Halo, I'm new in python. I try using satispy with example code but I get this error "system cannot find the path specified". can you help me?

---

I'm using this code: `from satispy import Variable, Cnf from satispy.solver import Minisat

v1 = Variable('v1') v2 = Variable('v2') v3 = Variable('v3')

exp = v1 & v2 | v3

solver = Minisat()

solution = solver.solve(exp)

print solution

if solution.success: print "Found a solution:" print v1, solution[v1] print v2, solution[v2] print v3, solution[v3] else: print "The expression cannot be satisfied"`

the output is: The system cannot find the path specified. <satispy.solution.Solution object at 0x064B14D0> The expression cannot be satisfied

[netom]

Hello, and thanks for choosing Satispy :)

What OS are you using? Also, make sure minisat solver is installed (does the command "minisat" work?)

Cheers,

Tamas

2019. febr. 13., Sze 5:46 dátummal Abdurrahman Shaleh < notifications@github.com> ezt írta:

Halo, I'm new in python. I try using satispy with example code but I get this error "system cannot find the path specified". can you help me?

I'm using this code: `from satispy import Variable, Cnf from satispy.solver import Minisat

v1 = Variable('v1') v2 = Variable('v2') v3 = Variable('v3')

exp = -v1 & v2 | v3

solver = Minisat()

solution = solver.solve(exp)

print solution

if solution.success: print "Found a solution:" print v1, solution[v1] print v2, solution[v2] print v3, solution[v3] else: print "The expression cannot be satisfied"`

the output is: The system cannot find the path specified. <satispy.solution.Solution object at 0x064B14D0> The expression cannot be satisfied

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/netom/satispy/issues/14, or mute the thread https://github.com/notifications/unsubscribe-auth/AAqbmznXjwj18mPbCSSnxaIWEKweKIllks5vM5i6gaJpZM4a4mfP .

[Abdusha]

I'm using windows 7

[netom]

Please check wether minisat is installed (check if the command "minisat" works).