sharpsat-td

Fast solver for the #SAT model counting problem

Name

sharpsat-td

Programs

• flow_cutter_pace17
• sharpSAT-td

Homepage

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

Version

0-unstable-2021-09-05

License

• MIT License
• Apache License 2.0

Maintainers

• Robert Scott

Platforms

• x86_64-linux
• x86_64-darwin

Defined

Source