template for qfa solver
Tentative interface for cafesat solver