splr 0.17.2

A modern CDCL SAT solver in Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

name: Rust

on: [push]

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v1
    - name: Prepare
      run: rustup update
    - name: Build executables
      run: cargo build --verbose
    - name: Build library
      run: cargo build --lib --verbose
    - name: Run tests
      run: cargo test --verbose