SAT solver

computer program for the Boolean satisfiability problem

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

카테고리:

solvercomputer program