Introduction to SAT-Solver
SAT solver is a bit older
than the others -- he has been around for many years
With his hat, his not so
fashionable shirt and pants it becomes apparent that he is more of a
simple worker -- he works hard, is fast and efficient
SAT solver has a rather
simple look on his face -- he only understands some propositional logic formulas which is less than all the others here do
...