Docs.rs
maxpre-0.2.3
maxpre 0.2.3
Permalink
Docs.rs crate page
MIT
Links
Homepage
Repository
crates.io
Source
Owners
chrjabs
Dependencies
cpu-time ^1.0.0
normal
rustsat ^0.5.0
normal
cc ^1
build
git2 ^0
build
glob ^0
build
Versions
63.49%
of the crate is documented
Platform
i686-pc-windows-msvc
i686-unknown-linux-gnu
x86_64-apple-darwin
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
Rust
About docs.rs
Privacy policy
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
maxpre
0.2.3
All Items
Sections
Rust MaxPre Interface
Crate Items
Structs
Enums
Traits
Type Aliases
Crate
maxpre
Copy item path
Source
Expand description
§
Rust MaxPre Interface
A Rust interface to the
MaxPre
preprocessor for MaxSAT.
Structs
§
MaxPre
The main low-abstraction preprocessor type
Options
Options that can be set for MaxPre
Stats
Statistics of the MaxPre preprocessor
Enums
§
Error
Errors in MaxPre
Traits
§
Prepro
Clauses
Prepro
Opt
Prepro
Sat
Type Aliases
§
Soft
Clauses