Multivariable results in long computation time
Closed this issue · 1 comments
LGM97 commented
In my example, there are six variables, which leads to the calculation time of CheckStatisfiability (condition, config) is too long to be applied. Config has been shrunk to 0.1. Are there any strategies to shorten the computing time?
soonho-tri commented
Duplicate of #253.