From 77e20af37dfefef6d4020fb4718c1bef6b248112 Mon Sep 17 00:00:00 2001 From: Vasco Pedro Date: Wed, 22 Jul 2015 14:43:50 +0100 Subject: [PATCH] added new constraints' declarations to paccs.h --- src/paccs.h | 3 +++ 1 file changed, 3 insertions(+), 0 deletions(-) diff --git a/src/paccs.h b/src/paccs.h index fa9ba60..88cd5ad 100644 --- a/src/paccs.h +++ b/src/paccs.h @@ -50,6 +50,9 @@ fd_constraint fd_sum2(fd_int X[], int n, fd_int y); fd_constraint fd_sum_prod(fd_int X[], fd_int Y[], int n, int k); fd_constraint fd_poly_eq(int C[], fd_int Y[], int n, fd_int z); +fd_constraint fd_poly_eq_k(int C[], fd_int Y[], int n, int k); +fd_constraint fd_poly_ne(int C[], fd_int Y[], int n, fd_int y); +fd_constraint fd_poly_ne_k(int C[], fd_int Y[], int n, int k); fd_constraint fd_knapsack2(fd_int X[], fd_int Y[], int n, fd_int z); fd_constraint fd_exactly(fd_int X[], int n, int c, int k); -- libgit2 0.21.2