Full threadjackhammer2022·More implementations listed at: http://cstheory.stackexchange.com/a/19773View on HN