solver

The boolean expression was converted to CNF for the SAT solver.

ブール式はSATソルバー用にCNFに変換された。

The solver can read files in MPS format.

そのソルバーはMPS形式のファイルを読み込める。

The SAT solver determined that the formula was satisfiable.

SATソルバーは、その論理式が充足可能であると判定した。

She is known as an excellent problem solver in the engineering team.

彼女はエンジニアリングチームで優れた問題解決者として知られている。

The spreadsheet includes a built-in equation solver.

そのスプレッドシートには方程式ソルバーが内蔵されている。

She's known as an excellent problem solver in crisis situations.

彼女は危機的状況での優れた問題解決者として知られている。

The AI problem solver found the optimal solution in seconds.

AI問題解決プログラムは数秒で最適解を見つけた。

The puzzle was cunningly designed to confuse even expert solvers.

そのパズルは専門家でも混乱するほど巧妙に設計されていました。