An incremental constraint solver for .NET