Commit fa4712f6 authored by Philipp Meyer's avatar Philipp Meyer
Browse files

Added Solver module to cabal config

parent dda24412
......@@ -22,6 +22,7 @@ executable slapnet
other-modules:
PetriNet
Parser
Solver
-- other-extensions:
build-depends: base >=4.6 && <4.7, sbv, parsec, containers
hs-source-dirs: src
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment