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
securitycenter
ctest
android-jetpack-compose-surface
amp-access
xing
loop-unrolling
lucky-framework
timing-diagram
kcov
aws-parameter-store
tobago
empirical-distribution
teavm
aws-devops
donations
android-push-notification
nvidia-isaac
oauth2client
import-contacts
gpgpu
routes
data-comparison
unix-socket
ovf
spectral-density
bundle-layout
angular-renderer2
haskell-snap-framework
gwt-platform
creo
