Permalink
Browse files

Switch back to new presburger.

  • Loading branch information...
1 parent 11ae949 commit 0880c3a4a5565bf9cdde3d95139e4f6c1d22ec56 @yav committed Apr 26, 2009
Showing with 676 additions and 665 deletions.
  1. +673 −0 src/Data/Integer/OldPresburger.hs
  2. +3 −665 src/Data/Integer/Presburger.hs
Oops, something went wrong.

0 comments on commit 0880c3a

Please sign in to comment.