Carlos R P Tovar
Results
1
comments of
Carlos R P Tovar
Yes, use a boolean property that can be used to set values. It is about placing the formula in CNF and we put the variable that we want to set...