GitHub repository: tempate/SolverScripts
Primary language: Python
Description: A collection of simple scripts for SAT and SMT solvers