resolvo 0.10.2

Fast package resolver written in Rust (CDCL based SAT solving)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63

use crate::{Requirement, VersionSetId, VersionSetUnionId, internal::id::ConditionId};

/// A [`ConditionalRequirement`] is a requirement that is only enforced when a
/// certain condition holds.
#[derive(Clone, Debug, Hash, Eq, PartialEq, Ord, PartialOrd)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
pub struct ConditionalRequirement {
    /// The requirement is enforced only when the condition evaluates to true.
    #[cfg_attr(feature = "serde", serde(skip_serializing_if = "Option::is_none"))]
    pub condition: Option<ConditionId>,

    /// A requirement on another package.
    pub requirement: Requirement,
}

/// A condition defines a boolean expression that evaluates to true or false
/// based on whether one or more other requirements are true or false.
#[derive(Clone, Debug, Hash, Eq, PartialEq, Ord, PartialOrd)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
#[cfg_attr(feature = "serde", serde(rename_all = "snake_case"))]
pub enum Condition {
    /// Defines a combination of conditions using logical operators.
    Binary(LogicalOperator, ConditionId, ConditionId),

    /// The condition is only true if the requirement is true.
    Requirement(VersionSetId),
}

/// A [`LogicalOperator`] defines how multiple conditions are compared to each
/// other.
#[derive(Clone, Copy, Debug, Hash, Eq, PartialEq, Ord, PartialOrd)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
#[cfg_attr(feature = "serde", serde(rename_all = "snake_case"))]
pub enum LogicalOperator {
    /// The condition is true if both operands are true.
    And,

    /// The condition is true if either operand is true.
    Or,
}

// Constructs a `ConditionalRequirement` from a `Requirement` without a
// condition.
impl From<Requirement> for ConditionalRequirement {
    fn from(value: Requirement) -> Self {
        Self {
            condition: None,
            requirement: value,
        }
    }
}

impl From<VersionSetId> for ConditionalRequirement {
    fn from(value: VersionSetId) -> Self {
        Requirement::Single(value).into()
    }
}

impl From<VersionSetUnionId> for ConditionalRequirement {
    fn from(value: VersionSetUnionId) -> Self {
        Requirement::Union(value).into()
    }
}