News for hackers. Stuff that matters.

A comment on Modern SAT solvers: fast, neat and underused. Parent comment

Re:Modern SAT solvers: fast, neat and underused by noneeeed on Sunday September 29, 2019 @03:00AM (#21105560)
I'm the same with Prolog. I love the language, but I have only once worked somewhere that used it for an actual problem.
[ Parent | on HN ]

There are no comments on this comment yet.