WASP: A native ASP solver based on constraint learning