jim-carciofini

The reason I am running compile and solver separately is that I need to get access to the solution (from cbc) with respect to the flattened representation, including introduced variables....

Thanks for the suggestions. The simplest approach that works for me is to just strip the tags from the fzn. Longer term, it seems like not supporting annotation declarations in...

If this functionality could be implemented as a well encapsulated component, this might be a good task for me to cut my teeth on Haskel.

This is an example foot print I currently see with challenge 10: ``` {'original': {'fp_initial_regs': {'reg_op': {'map': [{'key': {'arch_reg': 'FPSCR'}, 'val': {'offset': {'symbolic_ident': 4620680908217649586, 'type': '(BV ' '32)'}, 'region': {'symbolic_ident':...