clingo models for digital circuits | Download Scientific Diagram