clingo models for analog circuits considering adding and multiplying ...