add Polyhedron_Integer_Minimum for computing the integer minimum of a polyhedron
commit72456cbeb4935f7967fe5e4b28288792b6644d81
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 1 Nov 2007 09:04:59 +0000 (1 10:04 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 21 Nov 2007 13:14:32 +0000 (21 14:14 +0100)
treeaf885113fc28ccd9317b1fb0a9044a34d7dfeb93
parented2a91cb88fe13c0501bc39db7dab29163415eab
add Polyhedron_Integer_Minimum for computing the integer minimum of a polyhedron
Makefile.am
ilp.c [new file with mode: 0644]
ilp.h [new file with mode: 0644]
polytope_minimize.c [new file with mode: 0644]
testlib.cc