package

sharpsat-td-unstable

Description

Fast solver for the #SAT model counting problem.

Metadata

Version

2021-09-05

License

Status

Source

pkgs/applications/science/logic/sharpsat-td/default.nix:76

Homepage

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

Maintainers (1)

Robert Scott

Executables (2)

bin/flow_cutter_pace17
bin/sharpSAT-td

Platforms (2)

Darwin

Linux

Show all

x86_64-darwin
x86_64-linux