Sentient Lang.


The Lingeling solver has won many competitions and tends to be faster than the default MiniSat solver. Its license stipulates that it may not be used for commercial purposes. Sentient does not ship with Lingeling and it must be installed separately.

If you are on a Mac, Sentient-Lang provides a homebrew formula for Lingeling.