Solving SAT via Positive Supercompilation : vimarsana.com