About Anaconda Help Download Anaconda
Sign In
Anaconda.cloud

asmeurer / packages / minisat-plus 1.0

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

  • License: BSD
  • 187 total downloads
  • Last upload: 10 years and 8 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::minisat-plus

Description

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