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
model-comparison
react-markdown
arcore
crlf-vulnerability
amazon-ground-truth
akka-fsm
oracle-rdb
opensea-api
humanize
phpstorm
openkinect
avassetwriter
srt
difftool
cumulative-line-chart
vis-timeline
subscription
file-attributes
excel-365
peppol
phpseclib
microsoft-appstudio
hourglass
scriban
shapesheet
paypal-webhooks
eclipse-wtp
non-interactive
gtable
case-insensitive
