Boolean satisfiability solver

Look up this word on Fala2Me