3 Commits

Author	SHA1	Message	Date
Aina Niemetz	dab8236589	docs: python: Add missing docs text for pages. (#11057)	2024-08-05 18:47:34 +00:00
Aina Niemetz	b9b4e1b9da	c++ API: Refactor statistics handling. (#10530) ... This moves term statistics collection from Solver to TermManager. TermManager and Solver now both provide `getStatistics()`, the former captures API level term statistics, the latter internal solver statistics. This also adds iterator capabilities to the Python Statistics class.	2024-04-01 21:12:16 +00:00
Aina Niemetz	8ef22792d2	Python api: Various fixes in docs. (#8480)	2022-04-01 05:45:33 +00:00