SAT solver

computer program for the Boolean satisfiability problem

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

دسته بندی ها:

solvercomputer program