4 ms·
check out “SAT/SMT by Example”, which is a perennial HN favorite, for good reason. it mainly uses Z3. this is only one of many options but it’s a good one.
by currymj 8y ago
check out “SAT/SMT by Example”, which is a perennial HN favorite, for good reason. it mainly uses Z3.
this is only one of many options but it’s a good one.