https://github.com/jolie/jrc
Tip revision: 306bad4dacb8434f1e3dba979513fdd3cd0bdff4 authored by jacopo on 26 November 2015, 16:51:21 UTC
readme
readme
Tip revision: 306bad4
File | Mode | Size |
---|---|---|
SpecificationGrammar | ||
docker | ||
test | ||
README.md | -rw-r--r-- | 1.3 KB |
__init__.py | -rw-r--r-- | 0 bytes |
bindings_opt.mzn | -rw-r--r-- | 1.4 KB |
bindings_opt.py | -rw-r--r-- | 4.1 KB |
reconfigurator.ol | -rw-r--r-- | 1.5 KB |
reconfigurator.py | -rw-r--r-- | 9.6 KB |
settings.py | -rw-r--r-- | 225 bytes |
zephyrus.settings | -rw-r--r-- | 592 bytes |