To use, add the following to your build.sbt:
resolvers += Resolver.sonatypeRepo("snapshots")
libraryDependencies += "edu.berkeley.cs" %% "maltese-smt" % "0.5-SNAPSHOT"This library is compatible with the Chisel/firrtl X.5-SNAPSHOT series.
We currently depend on firrtl and treadle. It should be possible to eventually remove these dependencies, however, we currently do not have the engineering resources to do so.
- we depend on
firrtlin order to convert the output of the firrtl SMT backend to the maltese datastructures - we depend on
treadlefor its VCD library