{"content":[{"text":"The c2d knowledge compiler","bbox":{"left":0.07625,"top":0.095476,"width":0.5287299999999999,"height":0.09751399999999999}},{"text":"reasoning.cs.ucla.edu/c2d","bbox":{"left":0.636562,"top":0.129151,"width":0.19859099999999996,"height":0.040690000000000004}},{"text":"• Compiles CNF into Decision-DNNF (+ other utilities) \n • Released a real while back! \n • Upcoming release: c2d version 3.0 (significant re-write of code)","bbox":{"left":0.07625,"top":0.266185,"width":0.765051,"height":0.21129600000000004}},{"text":"• ACE uses various c2d options (some hidden, not in c2d manual).","bbox":{"left":0.07625,"top":0.564407,"width":0.7748389999999999,"height":0.06329600000000002}},{"text":"ACE","bbox":{"left":0.219375,"top":0.67804,"width":0.029863,"height":0.040690000000000004}},{"text":"c2d","bbox":{"left":0.476875,"top":0.675373,"width":0.02729200000000004,"height":0.040690000000000004}},{"text":"ACE","bbox":{"left":0.734375,"top":0.671817,"width":0.029862999999999973,"height":0.040690000000000004}},{"text":"reasoning.cs.ucla.edu/ace","bbox":{"left":0.770695,"top":0.951817,"width":0.19754400000000005,"height":0.040690000000000004}}],"images_bbox":[],"images_bbox_not_text_overlap":[]}