Show HN: 3-SAT: Let me show you 500K variables

1 points | by 8lamaster8 10 hours ago