Human Folly about “solver”

index

• Read (leanpub.com):

  #ebook about #Selfie, the #bootstrapping system that emulates a subset of #RISC-V and compiles itself from a subset of #C and has a #SAT #solver for bounded model checking

  on 02021-02-09
• Gi83Ux (lobste.rs):

  comments on an #introduction to the #Z3 #SAT #solver

  on 02019-02-15
• SAT solvers as smart search engines (msoos.org):

  some notes on #SAT #solver #performance and the relationship with backtracking search

  on 02019-02-15
• Boolean satisfiability problem or SAT in 5 minutes (0a.io):

  #SAT #solver #introduction with implementation in Haskell.

  on 02017-06-07
• Hodlr (github.com):

  a dense linear #solver. “Low-rank approximation of the appropriate blocks are obtained using partial pivoted LU algorithm. The domain is sub-divided based on a KDTree. The solver is fairly general and works with minimal restrictions.”

  on 02017-05-19
• Minisat (github.com):

  A #smallisbeautiful but high-performance #SAT #solver; the original version in 2003 was 600 lines with “conflict-clause recording, conflict-driven backjumping, VSIDS dynamic variable order,” and a “two-literal watch scheme”, plus “extensions for incremental SAT and for non-clausal constraints over boolean variables”, by Niklas Eén and Niklas Sörensson.

  on 02017-03-22
• Image unshredding (github.com):

  using a TSP #solver to unshuffle photograph rows and/or columns

  on 02016-10-11