3 ms·

Wow! See the classic https://en.wikipedia.org/wiki/TK_Solver https://en.wikipedia.org/wiki/TK_Solver

• RachelF 11mo ago
  and Borland's Eureka solver https://nagodede.github.io/eureka/ https://nagodede.github.io/eureka/