A bloxorz solver written in Go