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