GitHub repository: JarLob/SAT_SMT_by_example
Primary language: Mathematica
Description: "SAT/SMT by example" free ebook