Comment by cerved Comment by cerved 6 hours ago 0 replies Copy Link View on Hacker News Which solver do you use?