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