Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-01-30 | Ensure literals in FMF decision strategies are in the CNF stream (#3669) | Andrew Reynolds | |
2019-03-26 | Update copyright headers. | Aina Niemetz | |
2018-09-12 | Initial infrastructure for theory decision manager (#2447) | Andrew Reynolds | |