Implementation of counting-based search heuristics using Gecode. A modified version of Gecode's kernel is required. Please see https://github.com/SaGagnon/gecode-5-cbs.
This repository has been archived by the owner on Nov 5, 2018. It is now read-only.