clingo 0.8.0

Rust idiomatic bindings to the clingo library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110

name: CI tests

on: [push]

jobs:
  linux:
    runs-on: "ubuntu-latest"
    steps:
      - uses: actions/checkout@v2
      - uses: conda-incubator/setup-miniconda@v2
        with:
          auto-update-conda: true
          python-version: ${{ matrix.python-version }}
      - name: Conda install clingo
        shell: bash -l {0}
        run: |
          conda install -c potassco clingo=5.6.2
      - name: Build
        run: |
          export CLINGO_LIBRARY_PATH=/usr/share/miniconda/envs/test/lib
          cargo build --features=derive --verbose
      - name: Run tests
        run: |
          export CLINGO_LIBRARY_PATH=/usr/share/miniconda/envs/test/lib
          export LD_LIBRARY_PATH=/usr/share/miniconda/envs/test/lib
          cargo test --features=derive --verbose
  macos:
    runs-on: "macos-latest"
    steps:
      - uses: actions/checkout@v2
      - uses: conda-incubator/setup-miniconda@v2
        with:
          auto-update-conda: true
          python-version: ${{ matrix.python-version }}
      - name: Conda install clingo
        shell: bash -l {0}
        run: |
          conda install -c potassco clingo=5.6.2
      - name: Build
        run: |
          export CLINGO_LIBRARY_PATH=/usr/local/miniconda/envs/test/lib
          cargo build --features=derive --verbose
      - name: Run tests
        run: |
          export CLINGO_LIBRARY_PATH=/usr/local/miniconda/envs/test/lib
          export DYLD_LIBRARY_PATH=/usr/local/miniconda/envs/test/lib
          cargo test --features=derive --verbose
  windows:
    runs-on: "windows-latest"
    steps:
      - uses: actions/checkout@v2
      - uses: conda-incubator/setup-miniconda@v2
        with:
          auto-update-conda: true
          python-version: ${{ matrix.python-version }}
      - name: Conda install clingo
        run: |
          conda install -c potassco clingo=5.6.2
      - name: Build
        env:
          CLINGO_LIBRARY_PATH: C:\Miniconda\envs\test\Library\lib
        run: |
          cargo build --features=derive --verbose
      - name: Run tests
        env:
          CLINGO_LIBRARY_PATH: C:\Miniconda\envs\test\Library\lib
          LD_LIBRARY_PATH: C:\Miniconda\envs\test\Library\lib;C:\Miniconda\envs\test\Lib
        run: |
          cargo test --features=derive --verbose
  linux-static:
    runs-on: "ubuntu-latest"
    steps:
      - uses: actions/checkout@v2
      - name: Install bison
        run: sudo apt-get install bison
      - name: Install re2c
        run: sudo apt-get install re2c
      - name: Build
        run: cargo build --features=static-linking,derive --verbose
      - name: Run tests
        run: cargo test --features=static-linking,derive --verbose
  macos-static:
    runs-on: "macos-latest"
    steps:
      - uses: actions/checkout@v2
      - name: Install build dependencies
        run: |
          brew update
          brew install bison@2.7
          brew install re2c
      - name: Build
        run: |
          export PATH="/usr/local/opt/bison@2.7/bin:$PATH"
          cargo build --features=static-linking,derive --verbose
      - name: Run tests
        run: |
          export PATH="/usr/local/opt/bison@2.7/bin:$PATH"
          cargo test --features=static-linking,derive --verbose
  windows-static:
    runs-on: "windows-latest"
    steps:
      - uses: actions/checkout@v2
      - name: Install bison
        run: choco install winflexbison
      - name: Install re2c
        run: choco install re2c
      - name: Build
        run: cargo build --features static-linking,derive -vv
      - name: Run tests
        run: cargo test --features static-linking,derive --verbose