Descrição
Experimentos de SAT solving podem ser prototipados em Python com acesso a vários backends de solucionadores. Pesquisadores usam python-sat em codificações, MaxSAT, enumeração de modelos, verificação e ensino. Resultados dependem da correção da codificação e do comportamento do backend.