Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Small bug fix in FXCH. | Bruno Schmitt | 2016-08-18 | 1 | -10/+10 |
| | |||||
* | Compiler errors on Windows. | Alan Mishchenko | 2016-08-01 | 1 | -13/+16 |
| | |||||
* | Several updates to FXCH including: | Bruno Schmitt | 2016-08-01 | 1 | -104/+254 |
| | | | | | - Cube Grouping - New sub-cube hash table | ||||
* | Complier fix. | Alan Mishchenko | 2016-06-17 | 1 | -2/+2 |
| | |||||
* | Enables FXCH to handle Distance-1 cubes (D1C) and Single Cube Containment ↵ | Bruno Schmitt | 2016-06-17 | 1 | -104/+154 |
| | | | | | | | (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 | -33/+11 |
| | |||||
* | Fix the problem of not identifying divisors when its originating cubes had ↵ | Bruno Schmitt | 2016-05-19 | 1 | -2/+2 |
| | | | | | | only 2 literals. With this change, 'empty' sub-cubes (sub-cubes with an ID equal to zero) are inserted in the 0th bin of the hash table. | ||||
* | Cosmetic changes after incorporating new code of 'fxch'. | Alan Mishchenko | 2016-05-11 | 1 | -9/+13 |
| | |||||
* | Add a new module which implements the fast extract with cube hashing (fxch) ↵ | Bruno Schmitt | 2016-05-11 | 1 | -0/+600 |
algorithm. Removes old partial implementation of this algorithm from the "pla" module. |