タグ:
Stable, speed, Optimization, Major feature enhancements
The --set-pruning option was added, as well as the "enlightened-ostrich" preset for speed and the "maliciously-obscure" preset for generating short solutions. A compile-time option has been added to use RCS-like states storage, which conserves a lot of RAM. The CMake configuration now uses "lib${LIB_SUFFIX}", which allows building on some 64-bit systems. An experimental --trim-max-stored-states flag has been added, which currently may crash the solver (a known bug that should be fixed in a future release.)