Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Several updates to FXCH including: | Bruno Schmitt | 2016-08-01 | 1 | -4/+14 |
| | | | | | - Cube Grouping - New sub-cube hash table | ||||
* | Enables FXCH to handle Distance-1 cubes (D1C) and Single Cube Containment ↵ | Bruno Schmitt | 2016-06-17 | 1 | -0/+11 |
| | | | | | | | (SCC) as by product of extraction. D1C: Whenever they appear a constant divisor (x! + x) will be created and handle as any other divisor. SCC: Will be taken care of as soon as they appear. | ||||
* | Removing the memory saving mode, it is no longer necessary. | Bruno Schmitt | 2016-06-02 | 1 | -124/+1 |
| | |||||
* | Cosmetic changes after incorporating new code of 'fxch'. | Alan Mishchenko | 2016-05-11 | 1 | -8/+13 |
| | |||||
* | Add a new module which implements the fast extract with cube hashing (fxch) ↵ | Bruno Schmitt | 2016-05-11 | 1 | -0/+582 |
algorithm. Removes old partial implementation of this algorithm from the "pla" module. |