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