Instance 11-reverse_folding-0-0.asp

Name 11-reverse_folding-0-0.asp
Classes
Submitter Barbara Nardi
Author Andrea Formisano, Agostino Dovier and Enrico Pontelli
Description
Created 2012-03-29 10:37
Modified 2012-03-29 10:37
Languages
Language Features
Compatible Encodings
    Output Predicates
      Attributes
      Content