Add mapStoreAdapter to connect our kvstore to the smt lib

iotaledger / hive.go

A Go library containing data structures, various utils and abstractions which are used by both GoShimmer and Hornet.

Apache License 2.0

61 stars 24 forks source link

Closed muXxer closed 9 months ago

muXxer commented 9 months ago

This PR adapts our code to the changes in the interface of the external SMT lib.