splr 0.10.0

A modern CDCL SAT solver in Rust
Documentation
{
  "nodes": {
    "flake-utils": {
      "locked": {
        "lastModified": 1614513358,
        "narHash": "sha256-LakhOx3S1dRjnh0b5Dg3mbZyH0ToC9I8Y2wKSkBaTzU=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "5466c5bbece17adaab2d82fae80b46e807611bf3",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "nixpkgs": {
      "locked": {
        "lastModified": 1615685503,
        "narHash": "sha256-R8/ticjWsPccKCXjzzNP4m7KSbj1ac6He1/bJstMHgg=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "ab4767964e843954db58ff8a4f81138a072f123c",
        "type": "github"
      },
      "original": {
        "id": "nixpkgs",
        "type": "indirect"
      }
    },
    "root": {
      "inputs": {
        "flake-utils": "flake-utils",
        "nixpkgs": "nixpkgs"
      }
    }
  },
  "root": "root",
  "version": 7
}