Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Compiler errors on Windows. | Alan Mishchenko | 2016-08-01 | 1 | -0/+3 |
| | |||||
* | Several updates to FXCH including: | Bruno Schmitt | 2016-08-01 | 1 | -28/+42 |
| | | | | | - 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 | -13/+15 |
| | | | | | | | (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 | -11/+3 |
| | |||||
* | Add a new module which implements the fast extract with cube hashing (fxch) ↵ | Bruno Schmitt | 2016-05-11 | 1 | -0/+218 |
algorithm. Removes old partial implementation of this algorithm from the "pla" module. |