SAT solver

computer program for the Boolean satisfiability problem

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

Катэгорыі:

solvercomputer program