File "config-available/"[download]

in pack:virgil
Prolog module:conf_virgil

Recent changes

5 years agoMichiel Hildebrandload measurements api
6 years agoMichiel HildebrandADD PRR and CHI-squared apis
6 years agoMichiel HildebrandFIX load aers_report after namespace declaration
6 years agoMichiel HildebrandMerge branch 'master' of vu:git/ClioPatria/virgil
6 years agoMichiel HildebrandADD virgil_warmup/0 to create the indexes and ...

This file requires

Exported predicates

Required predicates