[HN Gopher] Z3 API in Python: From Sudoku to N-Queens in Under 2...
       ___________________________________________________________________
        
       Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines
        
       Author : amit-bansil
       Score  : 68 points
       Date   : 2025-11-16 18:38 UTC (4 hours ago)
        
 (HTM) web link (ericpony.github.io)
 (TXT) w3m dump (ericpony.github.io)
        
       | skopje wrote:
       | Very good to see all this in one short page!
        
       ___________________________________________________________________
       (page generated 2025-11-16 23:00 UTC)