remove SMT/JMT and replace with inc_hash + LayeredMap
Primary LanguageRustOtherNOASSERTION
No issues in this repository yet.