CruxAlgo