6 ms·
SAT is kind of the assembly language of constraint solving, using a higher level paradigm like CP/SMT/ASP should be easier.
by sirwhinesalot 2y ago
SAT is kind of the assembly language of constraint solving, using a higher level paradigm like CP/SMT/ASP should be easier.