Project

General

Profile

Download (144 Bytes) Statistics
| Branch: | Tag: | Revision:
1

    
2

    
3
(env
4
 (dev
5
  (flags
6
   (:standard -warn-error -A))))
7

    
8

    
9
(library 
10
(name zustre_for_lustrev)
11
(libraries lustrec yojson backends z3)
12
(optional)
13
)
(2-2/8)