SAT solver

computer program for the Boolean satisfiability problem

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

Κατηγορίες:

solvercomputer program