Commits

Iago Abal committed cd996a9

Fix old examples to depend on z3 [0.3.1,0.4)

Comments (0)

Files changed (1)

examples/examples.cabal

   main-is:             4queens.hs
   -- other-modules:
   build-depends:       base ==4.5.*,
-                       z3 ==0.3.1,
+                       z3 >=0.3.1 && <0.4,
                        containers,
                        mtl >2.1
 
   main-is:             Nqueens.hs
   -- other-modules:
   build-depends:       base ==4.5.*,
-                       z3 ==0.3.1,
+                       z3 >=0.3.1 && <0.4,
                        containers,
                        mtl >2.1
 
   main-is:             NqueensAll.hs
   -- other-modules:
   build-depends:       base ==4.5.*,
-                       z3 ==0.3.1,
+                       z3 >=0.3.1 && <0.4,
                        containers,
                        mtl >2.1
 -------------------------------------------------
   main-is:             4queens.hs
   -- other-modules:
   build-depends:       base ==4.5.*,
-                       z3 ==0.3.1,
+                       z3 >=0.3.1 && <0.4,
                        containers,
                        mtl >2.1
 
   main-is:             FuncModel.hs
   -- other-modules:
   build-depends:       base ==4.5.*,
-                       z3 ==0.3.1,
+                       z3 >=0.3.1 && <0.4,
                        containers,
                        mtl >2.1
 
   main-is:             ToSMTLib.hs
   -- other-modules:
   build-depends:       base ==4.5.*,
-                       z3 >=0.3.1,
+                       z3 >=0.3.1 && <0.4,
                        containers,
                        mtl >2.1
 
   main-is:             Tuple.hs
   -- other-modules:
   build-depends:       base ==4.5.*,
-                       z3 ==0.3.1,
+                       z3 >=0.3.1 && <0.4,
                        containers,
                        mtl >2.1