falcon-z3-0.4.12
- falcon-z3 0.4.12
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- endeav0r
- Dependencies
- error-chain ^0.12 normal
  falcon ^0.4.12 normal
  num-bigint ^0.2 normal
  num-traits ^0.2 normal
  z3-sys ^0.5 normal
- Versions
Go to latest version
Platform
Feature flags

Rust

☰

[−][src]Function falcon_z3::il::maximize

pub fn maximize(
    constraints: &[Expression], 
    value: &Expression
) -> Result<Option<Constant>>