SAT solver

computer program for the Boolean satisfiability problem

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

Categorias:

solvercomputer program