Repository navigation

metis

Public

About

METIS - Modern Engineered Tool for Installing Software systems

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
demo		demo
input		input
results		results
Makefile		Makefile
README		README
README.md		README.md
aeolus.pddl		aeolus.pddl
amin_planner.ml		amin_planner.ml
datatypes.atd		datatypes.atd
facade.ml		facade.ml
facade.mli		facade.mli
generation.ml		generation.ml
generation.mli		generation.mli
gg.ml		gg.ml
ggraph.ml		ggraph.ml
ggraph.mli		ggraph.mli
instance.ml		instance.ml
instance.mli		instance.mli
my_datatypes.ml		my_datatypes.ml
my_scc.ml		my_scc.ml
t.ml		t.ml
universe_translator.ml		universe_translator.ml

Repository files navigation

metis

METIS - Modern Engineered Tool for Installing Software systems

This project develops a tool for the automatic synthesis of deployment plans.

About

METIS - Modern Engineered Tool for Installing Software systems

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages