barvinok_enumerate_e: drop option to use Parker's DFA based counting
commit42d1beeb604aa13ef9ecfe18b5995dbe90e6a103
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 18 Oct 2016 10:39:46 +0000 (18 12:39 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 1 May 2023 08:50:15 +0000 (1 10:50 +0200)
tree374d09942efa2b4d0f2670dd27d92537300aceb6
parent0020dd6f1b5992f30f6755a2a7a756098275feb6
barvinok_enumerate_e: drop option to use Parker's DFA based counting

In fact, since this is the only remaining use
of Parker's library, remove it completely.

This was only ever meant as a means to compare
different ways of counting and it is not clear
if it still compiles.
In particular, it (also) uses the Omega library and
use of that library will be completely removed in the next commit.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
17 files changed:
Makefile.am
barvinok_enumerate_e.cc
barvinok_enumerate_e_options.c
barvinok_enumerate_e_options.h
configure.ac
omega_interface/count.cc [deleted file]
omega_interface/count.h [deleted file]
parker/Makefile.am [deleted file]
parker/README [deleted file]
parker/construction.c [deleted file]
parker/count_paths.c [deleted file]
parker/count_solutions.cc [deleted file]
parker/count_solutions.h [deleted file]
parker/example1.formula [deleted file]
parker/example2.formula [deleted file]
parker/generate_code.pl [deleted file]
version.c