pumpkin-propagators 0.5.0

The propagators of the Pumpkin constraint programming solver.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//! Contains the propagator for the [Disjunctive](https://sofdem.github.io/gccat/gccat/Cdisjunctive.html) constraint.
//!
//! Currently, it contains only an edge-finding propagator.
use pumpkin_core::declare_inference_label;

pub(crate) mod disjunctive_propagator;
pub(crate) mod disjunctive_task;
mod theta_lambda_tree;
mod theta_tree;
pub use disjunctive_propagator::DisjunctiveConstructor;
pub use disjunctive_propagator::DisjunctivePropagator;
pub use disjunctive_task::ArgDisjunctiveTask;
pub(crate) mod checker;
pub use checker::*;

declare_inference_label!(DisjunctiveEdgeFinding);