Crate maxpre

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

• PreproClauses
• PreproOpt
• PreproSat

Type Aliases

• SoftClauses