Code

add theory functionality to backend#381

Code

Merged

rkaminsk merged 4 commits intowippotassco/clingo:wipfrom feature/backend-theorypotassco/clingo:feature/backend-theoryCopy head branch name to clipboardJul 24, 2022

+5,289-3,482

Commits

Commits on Jun 28, 2022

• add theory functionality to backend (C)

  rkaminsk

  committed
  09e6307

  Copy full SHA for 09e6307

Commits on Jun 29, 2022

• add theory functionality to backend (C++)

  rkaminsk

  committed
  88e1182

  Copy full SHA for 88e1182

• add theory functionality to backend (Python)

  rkaminsk

  committed
  3515712

  Copy full SHA for 3515712

• update changes

  rkaminsk

  committed
  0ca9b2f

  Copy full SHA for 0ca9b2f