#noindex
##==========솔버,solver =,solver 솔버 solver
WtEn: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

----
NdEn:solver
Ndict:solver