Release Notes: Options have been added to help reduce the average solution length ("--flares-choice" and "--flares-iters-factor"). There are two new presets for doing that. This release adds a memory optimisation for flares-based presets.
A universal source code to formatted text converter.
A tool for preparing HTML slides with LaTeX formulae.