papilo-sys-0.1.0
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

papilo-sys 0.1.0

Rust bindings for the PaPILO library

Crate
Source
Builds
Feature flags

..
16_threads.set
2_threads.set
32_threads.set
4_threads.set
8_threads.set
default.set
lp_presolvers_with_basis.set
lp_presolvers_without_basis.set
lp_presolvers_without_basis_glop.set
no_strong_dual_reductions.set
roundingsat.set
scip_no_strong_dual_reductions.set
scip_settings.set
sequential.set
sequential_not_immediately.set
trivial.set
verification.set
verification_add.set

1
2

verification_with_VeriPB = 1
veripb.verify_propagation = 1