Commit 77e20af37dfefef6d4020fb4718c1bef6b248112
1 parent
f0be7fde
Exists in
master
added new constraints' declarations to paccs.h
Showing
1 changed file
with
3 additions
and
0 deletions
Show diff stats
src/paccs.h
| @@ -50,6 +50,9 @@ fd_constraint fd_sum2(fd_int X[], int n, fd_int y); | @@ -50,6 +50,9 @@ fd_constraint fd_sum2(fd_int X[], int n, fd_int y); | ||
| 50 | fd_constraint fd_sum_prod(fd_int X[], fd_int Y[], int n, int k); | 50 | fd_constraint fd_sum_prod(fd_int X[], fd_int Y[], int n, int k); |
| 51 | 51 | ||
| 52 | fd_constraint fd_poly_eq(int C[], fd_int Y[], int n, fd_int z); | 52 | fd_constraint fd_poly_eq(int C[], fd_int Y[], int n, fd_int z); |
| 53 | +fd_constraint fd_poly_eq_k(int C[], fd_int Y[], int n, int k); | ||
| 54 | +fd_constraint fd_poly_ne(int C[], fd_int Y[], int n, fd_int y); | ||
| 55 | +fd_constraint fd_poly_ne_k(int C[], fd_int Y[], int n, int k); | ||
| 53 | fd_constraint fd_knapsack2(fd_int X[], fd_int Y[], int n, fd_int z); | 56 | fd_constraint fd_knapsack2(fd_int X[], fd_int Y[], int n, fd_int z); |
| 54 | 57 | ||
| 55 | fd_constraint fd_exactly(fd_int X[], int n, int c, int k); | 58 | fd_constraint fd_exactly(fd_int X[], int n, int c, int k); |