choco-solver-0.1.0
- choco-solver 0.1.0
- Docs.rs crate page
- MIT AND BSD-3-Clause
- Links
- Repository
- crates.io
- Source
- Owners
- pellico
- cprudhom
- Dependencies
- choco-solver-sys ^0.1.0 normal
  thiserror ^2.0.18 normal
  tracing ^0.1.41 normal
  tracing-subscriber ^0.3.20 normal
  trybuild ^1 dev
- Versions
- 71.7% of the crate is documented
Platform
- x86_64-pc-windows-msvc
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

All

choco_solver0.1.0

Crate Items

Structs
Enums
Traits

List of all items

Structs

BoolVar
ChocoBackend
Constraint
Criterion
IntVar
Model
Solution
Solver

Enums

ArithmeticOperator
ConstraintStatus
ESat
EqualityOperator
SolverError

Traits

ArithmConstraint
ArrayEqualityConstraints
BoolVarArrayLogicOps
ConstraintArrayLogicOps
ConstraintEquality