fork(1) download
  1. solv :-
  2. V = [X1, X2, X3],
  3. fd_domain(V,-100,100),
  4.  
  5. X1 + 3 * X2 - 4 * X3 #= 8,
  6. X1 + X2 - 2 * X3 #= 2,
  7. -1 * X1 - 2 * X2 + 5 * X3 #= -1,
  8.  
  9. fd_labeling(V),
  10. write(V),nl.
  11.  
Success #stdin #stdout #stderr 0.02s 6928KB
stdin
Standard input is empty
stdout
Standard output is empty
stderr
ERROR: /home/eMH71G/prog:5:29: Syntax error: Operator expected
ERROR: '$runtoplevel'/0: Undefined procedure: program/0
   Exception: (3) program ? EOF: exit