Mention that we use Z-polyhedra
authorVivien Maisonneuve <v.maisonneuve@gmail.com>
Wed, 20 Aug 2014 12:08:38 +0000 (14:08 +0200)
committerVivien Maisonneuve <v.maisonneuve@gmail.com>
Wed, 20 Aug 2014 12:08:38 +0000 (14:08 +0200)

No differences found