SAT solver

computer program for the Boolean satisfiability problem

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

श्रेणियाँ:

solvercomputer program