Carlos R P Tovar
Results
2
issues of
Carlos R P Tovar
I use satispy to solve boolean functions, but I need some variables to have constant values 0 or 1, True or False. Can the library do that?
I am ussing satispy with a lot of variables, but sometimes when the program is running, i have te next error KeyError: How i can solve that, i need expand...