AIA user calls dingcad an “abstract reasoning compiler”One post offers that label as an additional way to characterize dingcad.BC1 Source, 20d ago, first seen 20d agoTLDRA user describes dingcad as “also an abstract reasoning compiler.”Combined views2K1 Source, first seen 20d ago9 likesCombined views2K1 Source, first seen 20d ago9 likes