top | new | best | ask | show | jobs

top | item 46654730

(no title)

davidgay | 1 month ago

Except it cannot decide all Horn clauses.

discuss

order

No comments yet.

powered by hn/api // news.ycombinator.com