1. 16
    A Very Small SAT Solver compsci haskell cse.chalmers.se
    ehamberg avatar via ehamberg 9 days ago | cached | 2 comments

  1.  

  2. 2
    LeahNeukirchen avatar LeahNeukirchen 8 days ago | link 
    def d(w,c)s=->w{c.map{|d|(d&[w])[0]?0:d-[-w]}-[0]};c[0]?(v=c[0][0])?d(w+[v],s[v])||d(w+[-v],s[-v]):!1:w end
    1. 1
      pja avatar pja 8 days ago | link

      Ah, Haskell code golf. It’s like APL, but for Monads instead of matrices!