asp-solver wrapper and utilities