Tactix: Towards a Programmable Strategy Interface for Flexible SAT Solving.

arXiv:2610.24369v1 Announce Type: cross Abstract: Modern SAT solvers combine a rich repertoire of proof rules with sophisticated strategies that determine when and how to apply them. Often, the internal implementations are tightly coupled to particular strateg