[HN Gopher] A SomewhatMaxSAT Solver
       ___________________________________________________________________
        
       A SomewhatMaxSAT Solver
        
       Author : JNRowe
       Score  : 7 points
       Date   : 2025-05-25 05:05 UTC (2 days ago)
        
 (HTM) web link (blog.jak-linux.org)
 (TXT) w3m dump (blog.jak-linux.org)
        
       ___________________________________________________________________
       (page generated 2025-05-27 23:01 UTC)