# count ex1
This is LattE integrale 1.7.5
Available from http://www.math.ucdavis.edu/~latte/
Invocation: count ex1
Checking whether the input polytope is empty or not...sh: /usr/bin/scdd_gmp: No such file or directory
Command `/usr/bin/scdd_gmp Check_emp.lp > Check_emp.out' returned with exit status 32512.
@Dmitry_R, @Mailaender, @StefanBruens, @TheBlackCat, @adrianSuSE, @anag, @badshah400, @cjunghans, @dstoecker, @eeich, @kwk, @mslacken, @openfoam, @psmt: review reminder
Apparently
cddlib-tools
should also be required:Also, it seems there is a test-suite. Please see if you can run the tests as part of a
%check
section. Thanks!