Instance bench_instance_diag_300.4.7.lp

Name bench_instance_diag_300.4.7.lp
Classes
Submitter Martin Gebser
Author Sven Thiele
Description
Created 2008-12-17 17:24
Modified 2008-12-17 17:24
Languages
Language Features
Compatible Encodings
    Output Predicates
    • edge/2
    • input/1
    • obs_elabel/3
    • obs_vlabel/2
    • vertex/1
    Attributes
    Content