GITLAB

Salvador Abreu / PaCCS

Sign in
  • Sign in
  • Project
  • Files
  • Commits
  • Network
  • Graphs
  • Issues 0
  • Merge Requests 0
  • Wiki
  • paccs
  • src
  • constraints
  • ge.c
  • 965dadaa   initial commit from distribution version 0.90b Browse Code ยป
    Salvador Abreu
    2015-04-21 16:57:16 +0900  
ge.c 90 Bytes
Edit Raw Blame History
1 2 3 4 5 6
/* X ge Y == Y le X */

fd_constraint fd_ge(fd_int x, fd_int y)
{
  return fd_le(y, x);
}