search

netom / satispy

An interface to SAT solver tools (like minisat)
Other
58 stars 17 forks source link

KeyError: <satispy.cnf.Variable object at 0x7fcac8f80280> #16

Open crptcusco opened 2 years ago

crptcusco commented 2 years ago

I am ussing satispy with a lot of variables, but sometimes when the program is running, i have te next error

KeyError: <satispy.cnf.Variable object at 0x7fcac8f80280>

How i can solve that, i need expand the memory?

netom commented 2 years ago

Hello @crptcusco , thank you for reporting the issue. Could you please provide a test case for reproducing the error? It would help immensely. Cheers!