Exactly. Why would I write a custom, small, incomplete and much slower solver by myself for my compiler, when I can just use a fast SAT solver (cryptominisat and friends), which are complete and have an acceptable license.
Looking at scala, pony, haskell, but really any modern language working on dependent types: python, php, cperl, ruby, ...
Looking at scala, pony, haskell, but really any modern language working on dependent types: python, php, cperl, ruby, ...