Permalink
Browse files

An example

  • Loading branch information...
1 parent 113f952 commit f0133c3a36f42be820c9e02cef0b784ed9f18a5b @yav committed Apr 27, 2009
Showing with 6 additions and 0 deletions.
  1. +6 −0 tests/5.hs
View
6 tests/5.hs
@@ -0,0 +1,6 @@
+import Data.Integer.Presburger.ModArith
+import Data.Integer.Presburger
+
+main = print $ check $ forall $ \x y z1 z2 ->
+ (add_mod d x y z1 :/\: add_mod d x y z2) :=>: z1 :=: z2
+ where d = 2000

0 comments on commit f0133c3

Please sign in to comment.