sally
                                
                                
                                
                                    sally copied to clipboard
                            
                            
                            
                        Improve integer reasoning
For software verification and the SyGuS competition. Need to finish integration of Yices2 generalization for integers.