v1.1.0

Commits

• 142822d: New dependency checker (Antonino Natale) #38
• beaaf54: Update dependency checker (Antonino Natale) #38
• 31aaf9e: Removed submodule extra/potassco/clingo (Antonino Natale) #38
• a652aa7: Fixed submodules (Antonino Natale) #38
• 6a2ce33: Update clingo sources (Antonino Natale) #38
• 292d144: Update version (Antonino Natale) #39

v1.0.0

Commits

• 78e3cc6: Update Readme (Antonino Natale)
• 0739075: Clean sources (Antonino Natale)
• 2186257: Release (Antonino Natale)
• 0957148: Update Readme (Antonino Natale)
• 7ffec6d: Clean cmake sources (Antonino Natale)

v1.0.0-rc.4

Commits

• b62ab35: Update citation (Antonino Natale)
• 1555b4f: Update version (Antonino Natale)

v1.0.0-rc.3

Commits

• 358aa97: Fixed parser bug (Antonino Natale)

v1.0.0-rc.2

Commits

• 2c841e2: Update Readme (Antonino Natale)
• ba771ec: Update CITATION.cff (Antonino Natale)
• f2a72dd: Fixed parser (Antonino Natale)
• 285aff0: Merge branch 'main' of github.com:kwrx/qasp (Antonino Natale)

v1.0.0-rc.1

Commits

• cf8d217: Fixed @forall incoherent solution (Antonino Natale) #32
• 34b50f1: Update Sources (Antonino Natale) #32
• c4b3ae9: Removed Choice Rules in constraints program (Antonino Natale) #33
• bb2a2c4: Update Sources for #30 (Antonino Natale) #33
• 273d84f: Update Sources for #19 (Antonino Natale) #33
• a139e45: Update Sources for #29 (Antonino Natale) #33
• 2648a10: Update Sources for #29 (Antonino Natale) #33
• 9e580d0: Other solver. (ciccioricca)
• 3bc150c: Fixed bugs (Antonino Natale) #34
• 5ee8ceb: Update Solver (wip) (Antonino Natale) #34
• f050d02: Update WaspSolver (Antonino Natale) #34
• 4470d2d: Fixed VariableNames (wasp) (Antonino Natale) #34
• f880730: Fixed performance issues (Antonino Natale) #34
• fb8189f: Fixed performance issues (Antonino Natale) #34
• ac4a8da: Optimized performance (Antonino Natale) #34
• 8d83dca: Add counter-example (Antonino Natale) #35
• 8230034: Fixed CI (Antonino Natale) #35
• a41b739: Fixed CI (Antonino Natale) #36
• 3befa02: Merge branch 'main' of github.com:kwrx/qasp into dev (Antonino Natale) #36
• c647b8c: Rewriting grounding process (Antonino Natale) #37
• d8dd104: Rewritten grounding process (Antonino Natale) #37
• 22cf473: Add benchmarks (Antonino Natale) #37
• 1539b7b: Fix bench (Antonino Natale)
• 884ab66: Merge branch 'main' of github.com:kwrx/qasp (Antonino Natale)
• 2b4c6e5: Add bench report (Antonino Natale)
• 29a3f44: Update enumeration strategy (Antonino Natale)
• 2f80178: Update Readme (Antonino Natale)
• d490368: Update dist flags (Antonino Natale)
• b03c1b0: Fixed bugs (Antonino Natale)
• 9a1a5e6: Clean sources & Fix CI (Antonino Natale)
• ea92b34: Fix CI (Antonino Natale)
• 6b8aa08: Fix CI (Antonino Natale)

v1.0.0-alpha.4

Commits

• [086846e]: Update Sources (Antonino Natale)
• [2ce0324]: Add performance statistics + Add ground cache (Antonino Natale) #27
• [455c0b5]: Update performance statistics (Antonino Natale) #27
• [92dc2f9]: Removed iterations (Antonino Natale) #27
• [dcf2706]: Update Sources for #26 (Antonino Natale) #27
• [15b848a]: Fixed bugs (Antonino Natale) #27
• [f37c9f0]: Fixed tests (Antonino Natale) #28

v1.0.0-alpha.3

Commits

• [6bdbbd3]: Fixed performance issues (Antonino Natale) #25
• [1b5349d]: Update Source for #24 (Antonino Natale) #25
• [0d41faf]: Update Sources (Antonino Natale) #25

v1.0.0-alpha.2

Commits

• [09ad788]: Update Sources (Antonino Natale)
• [1c9c1f1]: Update Sources for #10 (Antonino Natale)
• [bff4084]: Update Readme (Antonino Natale)
• [77e73cf]: Update README.md (Antonino Natale)
• [bdb67ae]: Update Readme (Antonino Natale)
• [8f00324]: Update Readme (Antonino Natale)
• [560032c]: Update CI (Antonino Natale)
• [7d838eb]: Update CI (Antonino Natale)
• [34704b9]: Update Readme (Antonino Natale)
• [fb70953]: Update Readme (Antonino Natale)
• [42ebffe]: Update README.md (Antonino Natale)
• [d8a4620]: Update License (Antonino Natale)
• [c0a98cb]: Merge branch 'main' of github.com:kwrx/qasp (Antonino Natale)
• [858a964]: Update sources (Antonino Natale)
• [d5887c8]: Update sources (Antonino Natale) #18
• [ae1d513]: Update sources for #11 #12 #13 #14 (Antonino Natale) #18
• [7e437eb]: Update Test (Antonino Natale) #18
• [dd47e89]: Update Test (Antonino Natale) #18
• [1302afd]: Clean Sources (Antonino Natale) #21
• [b118119]: Update Source for #10 (Antonino Natale) #21
• [968d3d4]: Update Sources (Antonino Natale) #21
• [acd5b69]: Update Test (Antonino Natale) #21
• [5edf16d]: Update CI (Antonino Natale)
• [53d3c83]: Update Test (Antonino Natale)
• [81efbea]: Fixed #22 (Antonino Natale) #23
• [080d597]: Update cmake-build.yml (Antonino Natale)
• [e85340e]: Update cmake-deploy.yml (Antonino Natale)
• [8fc8582]: Update Version (Antonino Natale)
• [0661b9d]: Merge branch 'main' of github.com:kwrx/qasp (Antonino Natale)

v1.0.0-alpha.1

Update CI