WASM terminal

As stated, flamapy provides a version of all its components and the SAT solver, which can rely on Pyodide. With this in mind, we have created a simple website to execute some operations directly in your browser. Note that the analysis, in this case, is covered by you when loading this website.

This iframe is loading an entire Python terminal being run in your browser, with all the dependencies required to launch flamapy already installed. This also downloads and unzips the contents of Flamapy tutorial so we have some models available in the wasm environment.

When loaded, try to execute the following code:

from flamapy.interfaces.python.flamapy_feature_model import FLAMAFeatureModel
fm = FLAMAFeatureModel("./valid_model.uvl")
result=fm.satisfiable()
print(result)

Now play and modify it.