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
zip4j
nhydrate
uniqueidentifier
http-protocols
xcode11.5
odoo-product-configurator
setsockopt
plugin.bluetoothle
swc-compiler
socket.io-1.0
saucelabs
motorola-emdk
drawrectangle
primitive-types
dde
boost-sml
audioworkletprocessor
android-jetpack-compose-canvas
mule-flow
quaggajs
instaloader
vue-component
shakapacker
url-rewriting
android-log
proximitysensor
referential-integrity
revoke-token
opengl-es-1.1
background-music