SAT solver

computer program for the Boolean satisfiability problem

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

Categorías:

solvercomputer program