Expand description
§Constraint Types
Different types of constraints. The most important one is Clause
but
Rust SAT supports more complex constraints like PbConstraint
or
CardConstraint
.
Structs§
- Card
EqConstr - An equality cardinality constraint (
sum of lits = b
) - Card
LbConstr - A lower bound cardinality constraint (
sum of lits >= b
) - Card
UbConstr - An upper bound cardinality constraint (
sum of lits <= b
) - Cl
- Dynamically sized clause type to be used with references
- Clause
- Type representing a clause. Wrapper around a std collection to allow for changing the data structure. Optional clauses as sets will be included in the future.
- PbEq
Constr - An equality pseudo-boolean constraint (
weighted sum of lits = b
) - PbLb
Constr - A lower bound pseudo-boolean constraint (
weighted sum of lits >= b
) - PbUb
Constr - An upper bound pseudo-boolean constraint (
weighted sum of lits <= b
)
Enums§
- Card
Constraint - Type representing a cardinality constraint.
- Constraint
Ref - A reference to any type of constraint throughout RustSAT
- PbConstraint
- Type representing a pseudo-boolean constraint. When literals are added to a constraint, the constraint is transformed so that all coefficients are positive.
- PbTo
Card Error - Errors when converting pseudo-boolean to cardinality constraints