Use new SMT library and flatten and create interfaces for ads package

iotaledger · Jul 31, 2023 · cc9345a · cc9345a
1 parent 84bc933
commit cc9345a
Show file tree

Hide file tree

Showing 13 changed files with 357 additions and 443 deletions.
diff --git a/ads/go.mod b/ads/go.mod
diff --git a/ads/go.sum b/ads/go.sum
diff --git a/ads/map.go b/ads/map.go