• Answer Set Programming — Variantes de solving

    13/04/2018 asp language tuto

    Cet article est une quête annexe du tuto général pour ASP, s'intéressant aux variantes d'utilisation du solver, des approches alternatives utiles pour certaines tâches.

    Comme pour les propagateurs, cet aspect d'ASP est dirigé par l'interface avec les langages python et lua. C'est le premier qui est utilisé ici.

    Multi-shot solving

    Iterative solving

    •  blog/

    •  home
    •  archive
    •  links
    •  atom
    •  links/

    •  github
    •  twitter
    •  mastodon
    •  keybase
    •  IPNS
    •  indexerror
    •  mail
    •  annotations/

    •  language (8)
    •  web (1)
    •  graph theory (2)
    •  info (2)
    •  opinion (3)
    •  tuto (14)
    •  asp (8)
    •  python (4)
    •  space (3)
    •  stdlib (2)
    •  outer web/

    •  pro-domo
    •  dridk