SAT solver

computer program for the Boolean satisfiability problem

en-GB/ˈsætədeɪ ˈsɒlvə/
en-US/ˈsæt ˈsɑlvɚ/

カテゴリ：

solvercomputer program