Age | Commit message (Expand) | Author |
---|---|---|
2015-12-11 | Code cleanup and refactoring. | Ulrich Germann |
2015-12-08 | Reduce dependence on StaticData. | Ulrich Germann |
2015-08-06 | Reorganisation of options. | Ulrich Germann |
2015-04-29 | One step closer to eliminating the requirement to provide num-features=... in... | Ulrich Germann |
2015-04-13 | Implement -output-unknowns for search algorithms 7 and 9 (T2S/F2S) | Phil Williams |
2015-02-02 | Partial merge of t2s branch (implements t2s and f2s algorithms) | Phil Williams |
2015-02-02 | Remove -s2t option (use -search-algorithm=6 instead) | Phil Williams |
2014-11-04 | Merge s2t branch | Phil Williams |