arminbiere/kissat
View on GitHub ↗ ★ 685 C
6 mentions on Hacker News by 6 people: 0 stories, 6 comments · first 2020-07-30 · latest 2026-03-29
20082026
-
…using a mini neural network.[3] We'll just have to see if we can extend the results at all. [1] https://github.com/arminbiere/kissat [2] https://stateofutopia.com/papers/2/we-broke-92-percent-of-sh... [3]…
comment by logicallee · 2026-03-29 · in Tell HN: We built our own SAT solver for SHA-256 -
…single machine level, it's hard to beat kissat and the CPU or GPU parallelism is not that useful. https://github.com/arminbiere/kissat
comment by philzook · 2025-01-08 · in SAT Solver Etudes I -
That is true, but there are many interesting heuristics in modern SAT solvers, such as kissat: https://github.com/arminbiere/kissat (winner for a few years now). LBD ("glues" in glucose) is one of them. Kissat is actually quite readable.…
comment by zero_k · 2023-05-26 · in The Silent (R)evolution of SAT -
…word for 'cats', and I wondered if there was any connection there. Apparently the answer is yes https://github.com/arminbiere/kissat or at least the developers have already noticed this coincidence for themselves.
comment by schoen · 2020-07-31 · in Kissat SAT Solver -
…yourself using kissat_add. [1] http://www.cs.utexas.edu/users/moore/acl2/manuals/current/ma... [2] https://github.com/arminbiere/kissat/blob/master/src/parse.h
comment by throwawaygh · 2020-07-30 · in Kissat SAT Solver -
If anyone else is wondering how the hell to use this thing... the main API is here: https://github.com/arminbiere/kissat/blob/master/src/kissat.h In particular all you need to add clauses is this single API entry point: void kissat_add…
comment by thechao · 2020-07-30 · in Kissat SAT Solver