{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["stableModels"],"properties":{"stableModels":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["atoms","rules"],"properties":{"atoms":{"type":"integer","minimum":1,"maximum":8},"rules":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["head","positive","negative"],"properties":{"head":{"type":"array","items":{"type":"integer","minimum":0,"maximum":255},"minItems":0,"maxItems":8},"positive":{"type":"array","items":{"type":"integer","minimum":0,"maximum":255},"minItems":0,"maxItems":8},"negative":{"type":"array","items":{"type":"integer","minimum":0,"maximum":255},"minItems":0,"maxItems":8}}},"minItems":0,"maxItems":40}}},"claim":{}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-REST-B19/disjunctive-propositional-program-stable-model-family"}