From 6f60940877a42dad772eb4a97d1c3055c9fb26bf Mon Sep 17 00:00:00 2001 From: ImkoMarijnissen Date: Fri, 14 Feb 2025 13:40:03 +0100 Subject: [PATCH] chore: adding disjunctive to README --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index d6a51801..c5aa7879 100644 --- a/README.md +++ b/README.md @@ -22,6 +22,7 @@ A unique feature of Pumpkin is that it can produce a certificate of unsatisfiabi The solver currently supports integer variables and a number of (global) constraints: - [Cumulative global constraint](https://github.com/ConSol-Lab/Pumpkin/tree/main/pumpkin-solver/src/propagators/cumulative). +- [Disjunctive global constraint](https://github.com/ConSol-Lab/Pumpkin/tree/main/pumpkin-solver/src/propagators/disjunctive). - [Element global constraint](https://github.com/ConSol-Lab/Pumpkin/blob/main/pumpkin-solver/src/propagators/element.rs). - [Arithmetic constraints](https://github.com/ConSol-Lab/Pumpkin/tree/main/pumpkin-solver/src/propagators/arithmetic): [linear integer (in)equalities](https://github.com/ConSol-Lab/Pumpkin/blob/main/pumpkin-solver/src/propagators/arithmetic/linear_less_or_equal.rs), [integer division](https://github.com/ConSol-Lab/Pumpkin/blob/main/pumpkin-solver/src/propagators/arithmetic/division.rs), [integer multiplication](https://github.com/ConSol-Lab/Pumpkin/blob/main/pumpkin-solver/src/propagators/arithmetic/integer_multiplication.rs), [maximum](https://github.com/ConSol-Lab/Pumpkin/blob/main/pumpkin-solver/src/propagators/arithmetic/maximum.rs), [absolute value](https://github.com/ConSol-Lab/Pumpkin/blob/main/pumpkin-solver/src/propagators/arithmetic/absolute_value.rs). - Clausal constraints.