Added support for GringoNumericFormat.
Added class ASPSolver.