Module rlifesrc_lib::search::backjump
source · Expand description
The search process, with backjumping.
Structs
- (Experimental) Adding Backjumping to the original lifesrc algorithm.
Enums
- Reasons for a conflict.
- Reasons for setting a cell, with informations for backjumping.