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
broken-image
spring-ldap
hardware
biblatex
pca
src
workqueue
color-codes
tinkerpop3
apple-business-chat
git-fast-import
unet
system-administration
react-leaflet-search
hashgraph
integromat-apps
uiwebviewdelegate
twilio-api
android-print-manager
lme4-nlme
ruby-on-rails
formmail
goal-tracking
processmaker-api
directory-browsing
expression-trees
woocommerce-memberships
antv
facebook-app-settings
dbus-python