splr 0.1.4

A pure rustic CDCL SAT solver based on Glucose
Documentation
stages:
  - build

rust-latest:
  stage: build
  image: rust:latest
  script:
    - cargo build --verbose
    - cargo test --verbose