関連ワード:  sat solver example    smt solver example    cp sat solver examples    sat solver python example    what is a sat solver    example of solver    what are sat solvers used for