licenses.dev

sat v0.1.0

Interface for defining and solving SAT problems

Published on

Licenses

Learn more about license information.

Package Licenses

Apache-2.0 OR MIT

Dependency Licenses

Apache-2.0 OR MIT9
PackageRelationDependenciesPublished
libc • 0.2.161Raw FFI bindings to platform libraries like libc. INDIRECT0
rand_core • 0.3.1Core random number generator traits and tools for implementation. INDIRECT1
rand_core • 0.4.2Core random number generator traits and tools for implementation. INDIRECT0
rand • 0.3.23Random number generators and other randomness functionality. INDIRECT9
rand • 0.4.6Random number generators and other randomness functionality. INDIRECT8
tempfile • 2.2.0A library for managing temporary files and directories.DIRECT14
winapi-i686-pc-windows-gnu • 0.4.0Import libraries for the i686-pc-windows-gnu target. Please don't use this crate directly, depend on winapi instead.INDIRECT0
winapi-x86_64-pc-windows-gnu • 0.4.0Import libraries for the x86_64-pc-windows-gnu target. Please don't use this crate directly, depend on winapi instead.INDIRECT0
winapi • 0.3.9Raw FFI bindings for all of Windows API.INDIRECT2
MIT4
PackageRelationDependenciesPublished
kernel32-sys • 0.2.2Contains function definitions for the Windows API library kernel32. See winapi for types and constants.INDIRECT2
redox_syscall • 0.1.57A Rust library to access raw Redox system callsINDIRECT0
winapi-build • 0.1.1Common code for build.rs in WinAPI -sys crates.INDIRECT0
winapi • 0.2.8Raw FFI bindings for all of Windows API.INDIRECT0
non-standard1
PackageRelationDependenciesPublished
fuchsia-cprng • 0.1.1Rust crate for the Fuchsia cryptographically secure pseudorandom number generatorINDIRECT0
ISC1
PackageRelationDependenciesPublished
rdrand • 0.4.0An implementation of random number generator based on rdrand and rdseed instructionsINDIRECT2
Last updated on

Copy the licenses badge code for the latest version:

[![licenses](https://licenses.dev/b/cargo/sat)](https://licenses.dev/cargo/sat)
<a href="https://licenses.dev/cargo/sat">
  <img src="https://licenses.dev/b/cargo/sat" alt="licenses" />
</a>

Or the licenses badge code for the 0.1.0 version:

[![licenses](https://licenses.dev/b/cargo/sat/0.1.0)](https://licenses.dev/cargo/sat/0.1.0)
<a href="https://licenses.dev/cargo/sat/0.1.0">
  <img src="https://licenses.dev/b/cargo/sat/0.1.0" alt="licenses" />
</a>
GitHub