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
Retrieved from http://red-ruby.com/wiki/wiki.php/솔버,solver
last modified 2024-08-20 16:21:51
