솔버,solver Copy: 솔버,solver has comma Hide Show solver https://en.wikipedia.org/wiki/Solver Sub: SAT솔버,SAT_solver SMT솔버,SMT_solver { https://en.wikipedia.org/wiki/Z3_Theorem_Prover } Rel 해,solution 해집합,solution_set 문제,problem 방정식,equation 증명,proof prover solver solver