Minisatp | Anaconda.org

asmeurer / packages / minisatp 1.0

0

MiniSat+ is a two-week hack done to enable Pseudo-Boolean constraints in MiniSat.

License: BSD
102 total downloads
Last upload: 10 years and 7 months ago

Installers

linux-64 v1.0

conda install

Authentication Prerequisites:
anaconda login

To install this package run one of the following:
conda install asmeurer::minisatp

Description

None

© 2024 Anaconda, Inc. All Rights Reserved. (v4.0.2) Legal | Privacy Policy