Code

more flexible term parsing#19

Code

Merged

rkaminsk merged 14 commits intomasterpotassco/clingo-lpx:masterfrom parsingpotassco/clingo-lpx:parsingCopy head branch name to clipboardSep 13, 2024

+448-148

Commits

Commits on Sep 12, 2024

• more flexible term parsing

  rkaminsk

  committed
  b10c3a7

  Copy full SHA for b10c3a7

• update readme

  rkaminsk

  committed
  f7b1c2e

  Copy full SHA for f7b1c2e

• add include

  rkaminsk

  committed
  1325a72

  Copy full SHA for 1325a72

• add includes

  rkaminsk

  committed
  98659c6

  Copy full SHA for 98659c6

• update deploy scripts

  rkaminsk

  committed
  c3eca7e

  Copy full SHA for c3eca7e

• update deployment targets for macos

  rkaminsk

  committed
  016efa2

  Copy full SHA for 016efa2

• update for conda

  rkaminsk

  committed
  1f32c84

  Copy full SHA for 1f32c84

Commits on Sep 13, 2024

• another test

  rkaminsk

  committed
  dd829ea

  Copy full SHA for dd829ea

• update for deploy

  rkaminsk

  committed
  7afaedd

  Copy full SHA for 7afaedd

• another try...

  rkaminsk

  committed
  56addd3

  Copy full SHA for 56addd3

• testing

  rkaminsk

  committed
  8355044

  Copy full SHA for 8355044

• testing

  rkaminsk

  committed
  77290e0

  Copy full SHA for 77290e0

• one more try

  rkaminsk

  committed
  1bc6d6e

  Copy full SHA for 1bc6d6e

• finialize [skip ci]

  rkaminsk

  committed
  f297150

  Copy full SHA for f297150