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