ToySolver.SAT.Solver.CDCL: use timer thread to print statistics at mo…#95

Open

msakai wants to merge 3 commits intomasterfrom feature/sat-print-statistics-timer-thread

+46-30

Commits on Jan 22, 2023

ToySolver.SAT.Solver.CDCL: use timer thread to print statistics at more regular intervals
msakai
committed

Commits on Jan 23, 2023

ToySolver.SAT.Solver.CDCL: add option for setting interval for printing statistics
msakai
committed
ToySolver.SAT.Solver.CDCL: allow setting fractional value for printing statistics interval
msakai
committed