Nixhub.io

lingeling

Fast SAT solver

devbox add lingeling@latest
Tips

Install the package with Nix (specific nixpkg reference shown below).

Not a Nix expert? Download the Devbox CLI and install via `devbox add lingeling@latest`.

  1. Version
    1.0.0

    Available on Linux and macOS

    Nixpkgs Reference

    8edc0c72e3a38faf5434e40d1f19431125fe4b30#lingeling

    Outputs

    out, dev, lib

    Install with Devbox

    devbox add lingeling@1.0.0
    Last updated

  2. Version

    Available on Linux and macOS

    Nixpkgs Reference

    289c8a834fbf87af1f01cb78f479537ef5219a0b#lingeling

    Outputs

    out, dev, lib

    Install with Devbox

    devbox add lingeling@latest
    Last updated