Implement standard widening
authorVivien Maisonneuve <v.maisonneuve@gmail.com>
Thu, 17 Jul 2014 16:12:32 +0000 (18:12 +0200)
committerVivien Maisonneuve <v.maisonneuve@gmail.com>
Thu, 17 Jul 2014 16:12:32 +0000 (18:12 +0200)
commit82e100a9d5e7db532fda649849dc784148e55069
tree2f9b1e99692d09dd73032b3ad3371397db85b545
parentc8a857e117e2f99120b450f8fd08e20c9da78ec8
Implement standard widening
pypol/polyhedra.py