Blame view

fz/README 428 Bytes
51e810c0   Salvador Abreu   give usage exampl...
1
2
3
4
5
6
Sample usage:

       ./fzp < examples/aust.fzn | ./fz-paccs load name type code halt

Notes:

aa862a87   Salvador Abreu   removed unused fz...
7
- AST nodes for fzn parser
e9654c4b   Salvador Abreu   added flatzinc pa...
8

aa862a87   Salvador Abreu   removed unused fz...
9
TYPE : VALUE
e9654c4b   Salvador Abreu   added flatzinc pa...
10

aa862a87   Salvador Abreu   removed unused fz...
11
- acceptable types:
e9654c4b   Salvador Abreu   added flatzinc pa...
12

51e810c0   Salvador Abreu   give usage exampl...
13
- driver process fz-BACK (BACK is back-end specific):
e9654c4b   Salvador Abreu   added flatzinc pa...
14

aa862a87   Salvador Abreu   removed unused fz...
15
16
17
  reads stdin (as produced by bison-generated parser), which results
  in a Prolog term which is the AST.  It then does semantic analysis
  (name & type).
e9654c4b   Salvador Abreu   added flatzinc pa...
18

aa862a87   Salvador Abreu   removed unused fz...
19
20
  AST is translated to an IR or actual C code for PaCCS.