| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | some progress | Sebastiano Tronto | 2021-12-17 | 1 | -9/+0 |
| | | |||||
| * | Added a new pruning table (equivalent to nxopt31). I have not tested it yet, ↵ | Sebastiano Tronto | 2021-12-16 | 1 | -28/+57 |
| | | | | | | | | it takes a while to generate. Plus I have done a whole lot of refactoring in random places because I cannot focus on one thing at the time. | ||||
| * | Faster and nice pruning table generation. Can still be improved with ↵ | Sebastiano Tronto | 2021-12-08 | 1 | -15/+100 |
| | | | | | multithreading. | ||||
| * | Use inttypes.h macros to print uint64_t variables (this requires -std=c99). ↵ | Sebastiano Tronto | 2021-11-17 | 1 | -1/+1 |
| | | | | | Added a couple of TODOs | ||||
| * | I tried to remove the dependence on antindex in order to get rid of them | Sebastiano Tronto | 2021-11-12 | 1 | -0/+9 |
| | | | | | | | | once and for all. I successfully removed from the pruning table generation part by using an alternative (slower) method, but then I realized that I also use antindexes when generating symmetry data. So I reverted to the original pruning table computation method, but I left the alternative way there, commented. | ||||
| * | Rewritten from scratch. Welocme nissy 2.0! | Sebastiano Tronto | 2021-11-11 | 1 | -0/+355 |
