Encoding schur.nlp

Name schur.nlp
Class Tree
Submitter Martin Gebser
Author n/a
Description Add the normal Schur encoding, which was present for the non-competition benchmark.
Created 2009-03-30 13:03
Modified 2009-03-10 12:26
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • assigned/2
  • number/1
  • part/1
Output Predicates
  • inpart/2
Encoding Parameter
    Standalone Help No
    Attributes
    Content