oxiz-solver-0.1.2
- oxiz-solver 0.1.2
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- cool-japan
- Dependencies
- lasso ^0.7 normal
  num-bigint ^0.4 normal
  num-rational ^0.4 normal
  num-traits ^0.2 normal
  oxiz-core ^0.1.2 normal
  oxiz-sat ^0.1.2 normal
  oxiz-theories ^0.1.2 normal
  rayon ^1.11 normal
  rustc-hash ^2.1 normal
  smallvec ^1.15 normal
  tracing ^0.1 normal
  criterion ^0.7 dev
  proptest ^1.9 dev
- Versions
- 100% of the crate is documented
Go to latest version
Platform
Feature flags

docs.rs

Rust

All

oxiz_solver0.1.2

Crate Items

Structs
Enums
Traits

List of all items

Structs

Context
EqualityNotification
Instantiation
MBQISolver
MBQIStats
Model
Objective
Optimizer
ParetoPoint
Proof
QuantifiedFormula
Solver
SolverConfig
SolverStats

Enums

MBQIResult
ObjectiveKind
OptimizationResult
ProofStep
RestartStrategy
SolverResult
TheoryMode

Traits

TheoryCombination