Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
buckaroo-macos | 2019-03-13 | 68.6 MB | |
buckaroo-linux | 2019-03-13 | 71.1 MB | |
buckaroo-windows.exe | 2019-03-13 | 36.6 MB | |
Baobab Resolver source code.tar.gz | 2019-03-13 | 943.5 kB | |
Baobab Resolver source code.zip | 2019-03-13 | 967.3 kB | |
README.md | 2019-03-13 | 396 Bytes | |
Totals: 6 Items | 178.2 MB | 0 |
New Features:
* Significantly improved resolution algorithm
This release implements a novel Conflict Driven Clause Learning (CDCL) resolution algorithm.
The CDCL algorithm computes unsatisfiable cores
and prunes the searchspace.
-
candidates are now prefetched
-
--cache-first
option added to skipgit ls-remote
where possible