ParentFull threadthesmtsolver2·What is the advantage of coding something from scratch vs importing a well tested library?View on HN