cp_sat 0.4.0

Rust bindings to the Google CP-SAT constraint programming solver.
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

name: Rust

on:
  push:
    branches: [ master ]
  pull_request:
    branches: [ master ]

jobs:
  build:
    runs-on: ubuntu-20.04
    steps:
    - uses: actions/checkout@v2
    - name: Prepare dependencies
      run: |
        mkdir -p /opt && cd /opt
        curl -sL https://github.com/google/or-tools/releases/download/v9.0/or-tools_ubuntu-20.04_v9.0.9048.tar.gz | tar xzf -
        ln -s or-tools* ortools
    - name: Build
      run: LD_LIBRARY_PATH=/opt/ortools/lib cargo build --workspace
    - name: Run tests
      run: LD_LIBRARY_PATH=/opt/ortools/lib cargo test --workspace
    - name: fmt
      run: cargo fmt --all -- --check
    - name: clippy
      run: LD_LIBRARY_PATH=/opt/ortools/lib cargo clippy --workspace -- -D warnings