G3Kappa / Ergo

Other
4 stars 0 forks source link

Dismantled Solver #82

Closed G3Kappa closed 7 months ago

G3Kappa commented 7 months ago

Closes #79 and #80. The old ErgoSolver and SolverContext no longer exist. All built-ins are implemented against the ErgoVM.

This has already shown massive performance improvements. Now the entire suite of tests, which is larger than before, runs in about 5 seconds... From over 30 when the architecture shift began.