An eDSL with Decidable Verification

To test it out on your system, first install the Cabal build tool for Haskell and the CVC5 SMT solver.

$ git clone https://github.com/cuplv/ddsl
$ cd ddsl
$ cabal update
$ cabal repl
ghci> Ddsl.Example.Election.verifyElection
...