splr 0.10.0

A modern CDCL SAT solver in Rust
Documentation
stages:
  - build

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