barvinok_enumerate: integrate verif_ehrhart
commit76e9ef18112fc4cdc37e432dd7bf6e723ebe7bd4
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 5 Jan 2007 15:31:42 +0000 (5 16:31 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 5 Jan 2007 15:31:42 +0000 (5 16:31 +0100)
tree1b8ef43d97129cd3a20309275583d8613e75ff34
parent93eac5f75c5da98ffc861bcad273a2b83f253926
barvinok_enumerate: integrate verif_ehrhart
Makefile.am
barvinok_enumerate.cc
verify_main.cc [deleted file]