minisat/2.2.0

minimalistic SAT solver

#satisfiability#solver

Using minisat

Loading usage information…

Packages

Linuxx86_64Release

package ID479d315b40955b3fe7aa96d38d6766083d776594
Recipe revision4fb3a84622b52800cac54d3b03928bcf

compilergcc
compiler.cppstd17
compiler.version11

optionsshared=True
Linuxx86_64Release

package ID7c88323121f05dd98b6cebb29a317bdb732100a0
Recipe revision4fb3a84622b52800cac54d3b03928bcf

compilergcc
compiler.cppstd17
compiler.version11

optionsfPIC=True shared=False
Macosarmv8Release

package IDd5a2f71aeec3bcc17962059e80f02d8b96fc09db
Recipe revision4fb3a84622b52800cac54d3b03928bcf

compilerapple-clang
compiler.cppstd17
compiler.version13

optionsfPIC=True shared=False
Macosarmv8Release

package IDd7188bbe7d18f2b010ae3d45be00f9db2778b6b8
Recipe revision4fb3a84622b52800cac54d3b03928bcf

compilerapple-clang
compiler.cppstd17
compiler.version13

optionsshared=True
Macosx86_64Release

package IDdc2b41ddbe962b1849e5f68218b78d5b33ce818c
Recipe revision4fb3a84622b52800cac54d3b03928bcf

compilerapple-clang
compiler.cppstd17
compiler.version13

optionsfPIC=True shared=False
Macosx86_64Release

package IDe036e8a89b2467bf5c62a99a8b7087911b2fcb0a
Recipe revision4fb3a84622b52800cac54d3b03928bcf

compilerapple-clang
compiler.cppstd17
compiler.version13

optionsshared=True
Windowsx86_64Release

package ID4830a4a014e77a3e2a475b833eca0c0750ad1041
Recipe revision4fb3a84622b52800cac54d3b03928bcf

compilermsvc
compiler.cppstd14
compiler.version193
compiler.runtimedynamic
compiler.runtime_typeRelease

optionsshared=False
Windowsx86_64Release

package IDac4e41c9c8919b06e16c876346d9a31b8d60bdec
Recipe revision4fb3a84622b52800cac54d3b03928bcf

compilermsvc
compiler.cppstd14
compiler.version192
compiler.runtimedynamic
compiler.runtime_typeRelease

optionsshared=True
Windowsx86_64Release

package IDbf45e3183d51d1fafc9bef3bea2926e99af1f12e
Recipe revision4fb3a84622b52800cac54d3b03928bcf

compilermsvc
compiler.cppstd14
compiler.version193
compiler.runtimedynamic
compiler.runtime_typeRelease

optionsshared=True
Windowsx86_64Release

package IDe1d621e15aef3458b9cb127225403777bd9c1ffe
Recipe revision4fb3a84622b52800cac54d3b03928bcf

compilermsvc
compiler.cppstd14
compiler.version192
compiler.runtimedynamic
compiler.runtime_typeRelease

optionsshared=False

Dependencies

Loading dependencies…

MIT4fb3a84622b52800cac54d3b03928bcf

🔍 Ready to secure your dependencies in seconds?

  1. Register for free at audit.conan.io/register.
  2. Save your token and activate it via the confirmation email you receive.
  3. Configure Conan to use your token:
    conan audit provider auth conancenter --token=<token>
  4. Scan for vulnerabilities:
    # Check a specific reference
    conan audit list minisat/2.2.0
    # Scan the entire dependency graph
    conan audit scan --requires=minisat/2.2.0

Note: For more details on the Conan Audit command, please read this post.

Tip: To avoid exposing your token in shell history, authenticate using an environment variable (e.g. CONAN_AUDIT_PROVIDER_TOKEN_CONANCENTER=<token>). For more info, see the documentation.

conanv2.2.0
[![Conan Center](https://img.shields.io/conan/v/minisat)](https://conan.io/center/recipes/minisat)