I wrote a Prolog program to find all solutions to any '8 out of 10 cats does countdown' number sequence. I am happy with the result. However, the solutions are
transliteration
bootstrap-timepicker
mixitup
menu
discovery
google-distancematrix-api
plexe
spyon
word-completion
loop-invariant
azure-elasticpool
mongodate
nan
teamviewer
slick2d
tokio-postgres
content-encoding
cvxpy
testcase
appkit
out-of-band
ruby-2.3
gonum
mvvmfx
tiddlywiki
column-sum
ipfs
my.cnf
instruction-encoding
clean-urls
