satispy

satispy copied to clipboard

Satispy can use constans

2

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?

crptcusco

I added a timeout to the Minisat class which can be optionally provided to kill the SAT-solving process after a specified time. In this case, a subprocess.TimeoutExpired Exception is thrown...

domduerr

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

1

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...

crptcusco

Prevent blow-up with or operator

1

The library does distribution directly when ORing two CNFs together. This results in exponential blowup in certain cases from satispy import Variable as v reduce(lambda x, y: x|y, [v("x" +...

yberman