aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/acqua/reasoner/AcquaQueryReasoner.scala
Commit message (Expand)AuthorAgeFilesLines
* feat(lower-bound): always compute the lower bound from RSACombFederico Igne2022-05-181-1/+1
* feat: add consistency check for ACQuA query reasonerFederico Igne2022-05-181-12/+11
* Make ACQuA query reasoner depend on RSAComb query reasonerFederico Igne2022-05-161-10/+6
* Finalise implementation of ACQuA query reasonerFederico Igne2022-05-151-265/+328
* Add preprocessing and initial computation for CQ answeringFederico Igne2022-05-121-144/+138
* Add initial implementation of ACQuA reasonerFederico Igne2022-05-121-0/+489