Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add support for custom intro tactic in ring pkg, for speed | Jason Gross | 2017-11-17 |
* | Add ModInv autosolver | Jason Gross | 2017-11-16 |
* | Add autosolve admit package | Jason Gross | 2017-11-12 |
* | More modularity in autosolve | Jason Gross | 2017-11-10 |
* | Separate case for handling option matches in autosolve | Jason Gross | 2017-11-10 |
* | Add cbn [val] in autosolve | Jason Gross | 2017-11-10 |
* | Better way (hopefully) of projecting relation from evar package | Jason Gross | 2017-11-07 |
* | Add notation for optional_evar_rel_package | Jason Gross | 2017-11-07 |
* | Add support for autosolve packages with options | Jason Gross | 2017-11-07 |
* | Allow pre-unfolding of autosolve things | Jason Gross | 2017-11-07 |
* | Factor packages through evar_Prop_package, raw_evar_package | Jason Gross | 2017-11-07 |
* | A bit more reorganization of autosolve | Jason Gross | 2017-11-07 |
* | Move SideConditionFramework | Jason Gross | 2017-11-07 |