This is very exciting! It not only has much improved performance, but it's also clean code, easily extensible for embedding in other applications (I do such a t

This is very exciting! It not only has much improved performance, but it's also clean code, easily extensible for embedding in other applications (I do such a thing myself). Sadly I can't use it yet due to lack of incremental solving.