Instance 08-magic_square_sets-square-130

Name 08-magic_square_sets-square-130
Classes
Submitter Barbara Nardi
Author Yisong Wang and Jia-Huai You
Description
Created 2012-03-30 12:22
Modified 2012-03-30 12:22
Languages
Language Features
Compatible Encodings
    Output Predicates
      Attributes
      Content