News for hackers. Stuff that matters.
Re:Accidentally writing a fast SAT solver by efangs on Thursday December 05, 2024 @06:24PM (#42334007)
sorry this is not fast
Re:Accidentally writing a fast SAT solver by dang on Friday December 06, 2024 @03:00PM (#42343702)