upvote
and Borland's Eureka solver https://nagodede.github.io/eureka/
reply