[HN Gopher] Solving the Dog-Bunny Puzzle with Program Verificati...
       ___________________________________________________________________
        
       Solving the Dog-Bunny Puzzle with Program Verification Technology
        
       Author : Darmani
       Score  : 15 points
       Date   : 2022-09-21 16:55 UTC (6 hours ago)
        
 (HTM) web link (www.pathsensitive.com)
 (TXT) w3m dump (www.pathsensitive.com)
        
       | an1sotropy wrote:
       | Puzzle in question: https://news.ycombinator.com/item?id=32884467
       | 
       | "We use Standard ML, as the language endorsed by a certain breed
       | of university professor who thinks they know programming better
       | than you do." yikes - that is painfully accurate.
        
       | note89 wrote:
       | Thanks for showing me petri-nets, i have been wanting to learn
       | about them for quite some time. But been to lazy to look it up.
        
       ___________________________________________________________________
       (page generated 2022-09-21 23:02 UTC)