Sentient Lang.


The Riss solver has won many competitions and tends to be faster than the default MiniSat solver. Its license is restricted to evaluation and research purposes only. Sentient does not ship with Riss and it must be installed separately.

Sentient also makes use of Riss during optimisation. It uses Riss’s Coprocessor to simplify the resulting SAT problem, which reduces the run time of the program. If you intend to use Sentient’s optimiser, Riss’s license applies.

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