Maintainer Mode
Sign in with GitHub

sharpsat-td

sharpsat-td 0-unstable-2021-09-05 · pkgs/by-name/sh/sharpsat-td/package.nix
Sign in to subscribe
Health
Risk
risk 2 low
  • +2 no meta.mainProgram, no versionCheckHook
Version
0-unstable-2021-09-05 no newer release known to repology
Channels
master 0-unstable-2021-09-05 · nixos-unstable 0-unstable-2021-09-05 · nixos-26.05 0-unstable-2021-09-05 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
Fast solver for the #SAT model counting problem
Homepage
https://github.com/Laakeri/sharpsat-td
License
MIT, Apache-2.0
Platforms
1 platform: Linux
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/sh/sharpsat-td/package.nix:84
Maintainers
risicle
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Issues 0
None open.