Hacker News new | ask | show | jobs
by NooneAtAll3 68 days ago
mostly because nobody ever mentioned CVC5 before