MyNixOS website logo
MyNixOS website logo
Flakes
Categories
Options
Packages
package

sharpsat-td-unstable

Description

Fast solver for the #SAT model counting problem.

Metadata

Version

2021-09-05

License

MITApache-2.0

Status

BrokenNo
InsecureNo
UnfreeNo
UnsupportedNo

Source

pkgs/by-name/sh/sharpsat-td/package.nix:76

Homepage

https://github.com/Laakeri/sharpsat-td

Maintainers (1)

Executables (2)

  • bin/flow_cutter_pace17
  • bin/sharpSAT-td

Platforms (2)

    Darwin
    Linux
Show all
  • x86_64-darwin
  • x86_64-linux