satgalaxy-0.2.0
- satgalaxy 0.2.0
- Permalink
- Docs.rs crate page
- MIT
- 18 July 2026
- Links
- Repository
- crates.io
- Source
- Owners
- francisol
- Dependencies
- flate2 ^1.0 normal optional
  paste ^1.0 normal
  pest ^2.7 normal optional
  pest_derive ^2.7 normal optional
  thiserror ^2.0 normal
  xz2 ^0.1 normal optional
  bindgen ^0.70 build
  cc ^1.0 build
- Versions
- 4% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

All

satgalaxy0.2.0

Crate Items

Macros
Structs
Enums
Traits

List of all items

Structs

errors::SolverError

Enums

solver::MusStatus
solver::RawStatus
solver::SatStatus

Traits

solver::MusSolver
solver::SatSolver

Macros

create_solver