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
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

{
  description = "A modern SAT solver in Rust";
  inputs = {
    crane = {
      url = "github:ipetkov/crane";
      inputs.nixpkgs.follows = "nixpkgs";
    };
    nixpkgs.url = github:NixOS/nixpkgs;
  };
  outputs = { self, nixpkgs, crane }:
  {
    packages = builtins.listToAttrs
      (map
        (system:
          with import nixpkgs { system = "${system}"; };
          let
            craneLib = crane.lib.${system};
          in
            {
              name = system;
              value = {
                default = craneLib.buildPackage {
                  # name = "splr-${version}";
                  # pname = "splr";
                  # version = "0.17.2-20240204";
                  src = craneLib.cleanCargoSource (craneLib.path ./.);
                  buildInputs = [cargo rustc binutils ]
                   ++ lib.optional stdenv.isDarwin [ libiconv ];
                  doCheck = false;
                };
                devShells.default = craneLib.devShell {
                  inputsFrom = buildins.attrValues self.packages.${system};
                  nativeBuildInputs = [ clippy rust-analyzer rustfmt ];
                };
              };
            }
        )
      [ "x86_64-linux" "aarch64-linux" "x86_64-darwin" "aarch64-darwin" ]
    );
  };
}