Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
61 changes: 12 additions & 49 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion pumpkin-solver-py/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ crate-type = ["cdylib"]
doc = false

[dependencies]
pyo3 = { version = "0.25.1", features= ["extension-module"] }
pyo3 = { version = "0.28.3", features= ["extension-module"] }
pumpkin-solver = { version = "0.3.0", path = "../pumpkin-solver" }
pumpkin-constraints = { version = "0.3.0", path = "../pumpkin-crates/constraints", features=["clap"] }
pumpkin-conflict-resolvers = { version = "0.3.0", path = "../pumpkin-crates/conflict-resolvers/"}
Expand Down
2 changes: 1 addition & 1 deletion pumpkin-solver-py/src/constraints/globals.rs
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ use crate::variables::*;

macro_rules! python_constraint {
($name:ident : $constraint_func:ident { $($field:ident : $type:ty),+ $(,)? }) => {
#[pyclass]
#[pyclass(from_py_object)]
#[derive(Clone)]
pub(crate) struct $name {
constraint_tag: Tag,
Expand Down
2 changes: 1 addition & 1 deletion pumpkin-solver-py/src/model.rs
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ pub struct Model {
brancher: PythonBrancher,
}

#[pyclass]
#[pyclass(from_py_object)]
#[derive(Clone, Debug)]
pub struct Tag(pub ConstraintTag);

Expand Down
7 changes: 4 additions & 3 deletions pumpkin-solver-py/src/optimisation.rs
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,8 @@ use pyo3::prelude::*;

use crate::result::Solution;

#[pyclass]
#[pyclass(from_py_object)]
#[derive(Clone)]
pub enum OptimisationResult {
/// The problem was solved to optimality, and the solution is an optimal one.
Optimal(Solution),
Expand All @@ -14,14 +15,14 @@ pub enum OptimisationResult {
Unknown(),
}

#[pyclass(eq, eq_int)]
#[pyclass(eq, eq_int, from_py_object)]
#[derive(Clone, Copy, PartialEq, Eq)]
pub enum Optimiser {
LinearSatUnsat,
LinearUnsatSat,
}

#[pyclass(eq, eq_int)]
#[pyclass(eq, eq_int, from_py_object)]
#[derive(Clone, Copy, PartialEq, Eq)]
pub enum Direction {
Minimise,
Expand Down
8 changes: 5 additions & 3 deletions pumpkin-solver-py/src/result.rs
Original file line number Diff line number Diff line change
Expand Up @@ -5,24 +5,26 @@ use crate::variables::BoolExpression;
use crate::variables::IntExpression;
use crate::variables::Predicate;

#[pyclass]
#[pyclass(from_py_object)]
#[allow(clippy::large_enum_variant)]
#[derive(Clone)]
pub enum SatisfactionResult {
Satisfiable(Solution),
Unsatisfiable(),
Unknown(),
}

#[pyclass]
#[pyclass(from_py_object)]
#[allow(clippy::large_enum_variant)]
#[derive(Clone)]
pub enum SatisfactionUnderAssumptionsResult {
Satisfiable(Solution),
UnsatisfiableUnderAssumptions(Vec<Predicate>),
Unsatisfiable(),
Unknown(),
}

#[pyclass]
#[pyclass(from_py_object)]
#[derive(Clone)]
pub struct Solution(pumpkin_solver::core::results::Solution);

Expand Down
8 changes: 4 additions & 4 deletions pumpkin-solver-py/src/variables.rs
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ use pumpkin_solver::core::variables::Literal;
use pumpkin_solver::core::variables::TransformableVariable;
use pyo3::prelude::*;

#[pyclass(eq, hash, frozen)]
#[pyclass(eq, hash, frozen, from_py_object)]
#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
pub struct IntExpression(pub AffineView<DomainId>);

Expand All @@ -26,7 +26,7 @@ impl IntExpression {
}
}

#[pyclass(eq, hash, frozen)]
#[pyclass(eq, hash, frozen, from_py_object)]
#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
pub struct BoolExpression(pub Literal);

Expand All @@ -47,7 +47,7 @@ impl From<Literal> for BoolExpression {
}
}

#[pyclass(eq, eq_int, hash, frozen)]
#[pyclass(eq, eq_int, hash, frozen, from_py_object)]
#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
pub enum Comparator {
NotEqual,
Expand All @@ -56,7 +56,7 @@ pub enum Comparator {
GreaterThanOrEqual,
}

#[pyclass(eq, get_all, hash, frozen)]
#[pyclass(eq, get_all, hash, frozen, from_py_object)]
#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
pub struct Predicate {
pub variable: IntExpression,
Expand Down
Loading