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
lasercutting
jwplayer
array.prototype.map
androidx
versioninfo
php-pdftk
mod
unreachable-statement
osdev
pimcore-v5
osgeo
subtype
android-app-links
twaindotnet
gtsam
rcs
glfw
common-crawl
twitter-bootstrap-rails
illuminate-container
arithmeticexception
jpopupmenu
azure-devops-hosted-agent
lightmode
shell32
ipad-playgrounds
curlpp
valuechangelistener
crosstable
gemfire
