Repository navigation
ams-dist v0.9.1-beta
Pre-release
Pre-release
Implements distributed cubing during cubing stage.
Load balancing through solver interrupt + cubing. Solvers are ranked for interruption by number of active variables.