ASP UniformSolver implementation

[IssaHanou]

Adds a new solver, like a uniform solver, that uses ASP to find all the solutions for a given syntax tree and constraints. Must be used with an ASPIterator, which handles the next_solution.

• Does not implement the ForbiddenSequence Constraint
• Does not use order property on the Ordered Constraint
• Forbidden constraint not working with 2{a,a}

resolves #87

[codecov]

Codecov Report

❌ Patch coverage is 96.00000% with 5 lines in your changes missing coverage. Please review.
✅ Project coverage is 80.74%. Comparing base (78e33a3) to head (61ca4a6).

Files with missing lines	Patch %	Lines
...lver/uniform_solver/asp/asp_uniform_tree_solver.jl	93.33%	3 Missing ⚠️
...ver/uniform_solver/asp/asp_tree_transformations.jl	95.74%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #104      +/-   ##
==========================================
+ Coverage   79.35%   80.74%   +1.39%     
==========================================
  Files          30       33       +3     
  Lines        1511     1636     +125     
==========================================
+ Hits         1199     1321     +122     
- Misses        312      315       +3     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.