SymStack A simple symbolic stack machine. Proof of concept. Identifies divide by zero errors. Dependencies Haskell Cabal Z3 (must be in usr/include, usr/lib OR usr/local/include, usr/local/lib) Try it Out ./try.sh