New version with Z3 support among other changes (#44)

* Feature: Add language level to FM information

* Update flamapy to pre-release

* Feature: Add Attribute Optimization operation

* Fix: attribute optimization

* Update plugins

* fix: Update fixed z3 package

* feat: Add new z3 plugin version

* fix: Serialize attributes

* updating to enable collaboration between multiple users

* enabled collaboration

* feat: updating icon arrangement and viz improvements

* feat: merge views/analytics/horcas/collab into develop

- Toolbar-less layout: controls injected into Navbar via setNavControls
- Plugin config system: public/flamapy/plugins.conf.json drives which wheels
  micropip installs and which solver tabs the UI shows; Z3 disabled by default
- Solver tabs (SAT/BDD/Z3) now derived from config loaded by the worker on startup
- New views: Config. Distribution and Feature Prob. charts (from views branch)
  using react-chartjs-2; BDD-backed Python functions in flamapy_ide.py
- Z3 support: attribute optimization modal, getNumericalAttributes worker action
- Collaborative editing: yjs + y-websocket, gated on VITE_ENABLE_COLLAB=true
- Analytics: GA4 with cookie consent, Privacy Policy and Cookie Preferences pages
- Makefile: add build-wheels target to download pure-python wheels from PyPI
- Remove leftover EditorPage copy files

* feat: improve UI, fix FIP output, upgrade wheels to 2.5.0

- Toolbar: add Metrics dropdown (Config Distribution, Feature Prob.) inline with View section; remove standalone Configurator section
- DropdownMenu: use minWidth so option text is never clipped
- ModelProperties: remove FM Fact Label link
- flamapy_ide.py: fix BDDFeatureInclusionProbability printing [object Object] by serializing plain dicts to string list
- Makefile: add clean-old-wheels target (reads plugins.conf.json as source of truth); runs automatically after build-wheels
- .gitignore: ignore CLAUDE.md, .claude/, .env, .env.example
- Wheels: upgrade all flamapy packages to 2.5.0, dd to 0.6.0; remove stale 2.1.0.dev0 wheels, flamapy_bdd_colosal, and Linux z3 wheel

* fix: high-priority improvements across CI, tests, and UX

- Tests: fix silent assertions in test_get_model_information (missing
  assert keywords and accidental assignments instead of comparisons)
- CI: add ESLint workflow that runs on PRs to main and pushes to develop
- CI: fix Docker workflow — guard both jobs with
  'conclusion == success' so a failed release-please does not trigger
  a build or deploy
- CI: bump Python to 3.12 to match Pyodide runtime; install vendored
  flamapy_configurator wheel; add --cov flag to pytest
- UX: persist editor content to localStorage on every edit and restore
  it on startup when no file is being imported; skipped during collab
  sessions to avoid cross-session bleed

* fix: set minimum Python version to 3.11

* feat: implement all medium and low priority improvements

Medium priority:
- Graph view: explicitly re-fetch feature tree on every switch to graph,
  ensuring the visualization is always in sync with the current model
- Tests: add coverage for get_configuration_distribution,
  get_feature_inclusion_probabilities, and BDDFeatureInclusionProbability
  dict serialization path
- Error boundaries: add ErrorBoundary component wrapping chart views so
  a render crash does not take down the whole editor
- Metrics charts: add Download PNG button to Config Distribution and
  Feature Inclusion Probabilities charts via chartjs toBase64Image

Low priority:
- URL model sharing: ?model=<base64> query param loads a model on startup
  (priority over localStorage); Share section in toolbar copies the link
- UVL autocomplete: Monaco snippet completions for all UVL keywords
  (namespace, features, constraints, mandatory, optional, alternative, or)
- Keyboard navigation in DropdownMenu: ArrowUp/Down to move focus,
  Enter to select, Escape to close; ARIA roles updated to listbox/option
- Dark mode: Tailwind darkMode:'class', toggle button in Navbar (persisted
  to localStorage), dark variants on Navbar, toolbar, output panel,
  model info panel, and dropdown menu

* fix: dark mode toggle and ESLint vendor file exclusion

- Exclude public/ from ESLint to prevent vendor files (pyodide, flamapy)
  from causing lint failures in CI
- Wire darkMode prop from App → EditorPage → UVLEditor so Monaco editor
  switches between vs/vs-dark themes when the toggle is clicked

* fix: add dark mode classes across all editor UI components

Cover the remaining components that were displaying light-only colors:
FeatureTree panel/nodes, Wizzard container, ModelProperties text/dividers,
Configuration feature lists, toolbar buttons (solver/analysis/export/metrics/collab),
hide/show panel buttons, Z3 optimization modal, and the UVLEditor wrapper div.

* chore: update dependencies, fix wheel install indentation, and ignore start_coding.sh

- Add chart.js, js-cookie, react-chartjs-2, react-cookie-consent, react-ga4 to package-lock.json
- Update esbuild to 0.27.3
- Fix micropip.install indentation in flamapy.js
- Add start_coding.sh to .gitignore

* chore: commit remaining working tree changes for develop sync

- webworker.js: pass msgId in postMessage responses, simplify context destructuring
- requirements.txt: update to flamapy 2.5.0, add z3, fix configurator install note
- FeatureModelVisualization.jsx: replace dom-to-svg with native XMLSerializer for SVG export
- Normalize file modes and binary assets to match working environment

* fix: prevent flamapy-configurator wheel from downgrading flamapy-fm/fw

The vendored flamapy_configurator-2.0.1-py3-none-any.whl requires
flamapy-fw~=2.0.1 and flamapy-fm~=2.0.0, causing pip to downgrade
those packages from 2.5.0. This removed FMLanguageLevel from
flamapy-fm, breaking all test collection with an ImportError.

- Use --no-deps when installing the configurator wheel so 2.5.0
  packages stay in place
- Also upgrade setuptools and wheel alongside pip to avoid
  astutils/ply build failures on older setuptools versions
- Fix BDDVariantFeatures test to use order-independent comparison
  since the BDD operation returns features in non-deterministic order

* fix: resolve all ESLint errors and warnings blocking lint CI

- Add node env override in .eslintrc.cjs for server/ files so
  process is recognised without explicit global declarations
- Remove stale eslint-disable comments (no-console in collab-server,
  no-unused-vars in EditorPage) that were flagged as unused directives
- Add PropTypes for Configuration, ErrorBoundary,
  FeatureInclusionProbabilitiesChart, Information, ProductDistributionChart
- Remove unused React import from FeatureInclusionProbabilitiesChart
  and ProductDistributionChart (jsx-runtime transform makes it unneeded)
- Add missing useEffect deps: availableWidth in FeatureModelVisualization,
  type in Information; suppress intentional once-on-mount effect in Home
- Fix no-useless-escape in UVLEditor regex character classes
- Remove unused cancelURL variable from Wizzard
- Remove unused importURL state from Home

* fix: Update menu button size

* Feat: New feature flow map visualization for attributes

* Feature: Pareto Front viz for Attr. Opt. with Z3

* chore: Update deps

* chore: Update deps

* feat: Import model to UVLHub

* fix: Add model.uvl so that UVLHub can understand the endpoint

* fix: Correct dark mode styling on some components

* fix: Correct collab button style

* feat: modification to host the ide in github pages automatically. Only client side features will be available by now.

* feat: updating the mechanism to get the wheels. It now self checks fro new flamapy versions and retrieves the wheels

* fix: retrieving flamapy wheels from its releases

* fix: solving linting errors

* fix: regenerate flamapy wheels in the test workflow

---------

Co-authored-by: José Miguel Horcas <horcas@uma.es>
Co-authored-by: sebasruii <fsbrd10@gmail.com>

Author: 3 people

.eslintrc.cjs

@@ -7,7 +7,13 @@ module.exports = {
     'plugin:react/jsx-runtime',
     'plugin:react-hooks/recommended',
   ],
-  ignorePatterns: ['dist', '.eslintrc.cjs'],
+  ignorePatterns: ['dist', '.eslintrc.cjs', 'public/', 'nginx/'],
+  overrides: [
+    {
+      files: ['server/**/*.js', 'vite.config.js'],
+      env: { node: true },
+    },
+  ],
   parserOptions: { ecmaVersion: 'latest', sourceType: 'module' },
   settings: { react: { version: '18.2' } },
   plugins: ['react-refresh'],

.github/workflows/deploy-pages.yml

@@ -0,0 +1,64 @@
+name: Deploy to GitHub Pages
+
+on:
+  push:
+    branches: [main]
+  workflow_dispatch:
+
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+concurrency:
+  group: pages
+  cancel-in-progress: false
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: actions/setup-node@v4
+        with:
+          node-version: 20
+          cache: npm
+
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.11"
+
+      - name: Configure Pages
+        id: pages
+        uses: actions/configure-pages@v5
+
+      - run: npm ci
+
+      # The flamapy wheels served to the browser are not tracked in git (see
+      # .gitignore); regenerate them from flamapy.version before the build so
+      # Vite copies them into dist/.
+      - name: Build flamapy wheels
+        run: make build-wheels
+
+      - name: Build
+        env:
+          VITE_BASE_PATH: ${{ steps.pages.outputs.base_path }}/
+        run: npm run build
+
+      - name: SPA fallback
+        run: cp dist/index.html dist/404.html
+
+      - uses: actions/upload-pages-artifact@v3
+        with:
+          path: dist
+
+  deploy:
+    needs: build
+    runs-on: ubuntu-latest
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    steps:
+      - id: deployment
+        uses: actions/deploy-pages@v4

.github/workflows/docker-image.yml

@@ -8,6 +8,7 @@ on:
 jobs:
   build-and-publish:
     runs-on: ubuntu-latest
+    if: github.event.workflow_run.conclusion == 'success'
 
     steps:
       - name: Checkout the code
@@ -33,6 +34,7 @@ jobs:
 
   deploy:
     runs-on: ubuntu-latest
+    if: github.event.workflow_run.conclusion == 'success'
 
     steps:
       - name: Deploy

.github/workflows/lint.yml

@@ -0,0 +1,29 @@
+name: Lint
+
+on:
+  pull_request:
+    branches:
+      - main
+  push:
+    branches:
+      - develop
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Set up Node.js
+        uses: actions/setup-node@v4
+        with:
+          node-version: 20
+          cache: npm
+
+      - name: Install dependencies
+        run: npm ci
+
+      - name: Run ESLint
+        run: npm run lint

.github/workflows/pytest.yaml

@@ -16,13 +16,25 @@ jobs:
       - name: Set up Python
         uses: actions/setup-python@v5
         with:
-          python-version: "3.10"
+          python-version: "3.11"
+
+      # The flamapy wheels served to the browser are not tracked in git (see
+      # .gitignore); regenerate them from flamapy.version so the tests run
+      # against the same artifacts the browser loads.
+      - name: Build flamapy wheels
+        run: make build-wheels
 
       - name: Install dependencies
         run: |
-          python -m pip install --upgrade pip
+          python -m pip install --upgrade pip setuptools wheel
+          # Install the exact flamapy wheels served to the browser (not a PyPI
+          # pin), so the tests run against the shipped artifacts. The z3_solver
+          # wheel is WASM-only and cannot install natively, so it is excluded;
+          # the native z3-solver comes from requirements.txt instead.
+          pip install --no-deps $(ls public/flamapy/*.whl | grep -v 'wasm')
+          # Native solver backends + test tooling (python-sat, z3-solver, pytest).
           pip install -r requirements.txt
 
       - name: Run tests
         run: |
-          pytest
+          pytest --cov=public tests/

.github/workflows/release-please.yml

@@ -0,0 +1,54 @@
+name: Update flamapy wheels
+
+# Keeps the flamapy-authored wheels in public/flamapy/ in sync with the flamapy
+# release pinned in ./flamapy.version. Runs whenever that file changes and on
+# demand; opens a pull request whenever the bundle changes. Third-party deps and
+# the z3_solver wasm wheel are not touched (use `make build-wheels` for those).
+on:
+  push:
+    paths:
+      - "flamapy.version"
+  workflow_dispatch:
+
+permissions:
+  contents: write
+  pull-requests: write
+
+jobs:
+  update:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.11"
+
+      - name: Update flamapy wheels from the latest release
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: python scripts/update_flamapy_wheels.py
+
+      - name: Open a pull request with the refreshed wheels
+        uses: peter-evans/create-pull-request@v6
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}
+          branch: chore/update-flamapy-wheels
+          delete-branch: true
+          title: "chore: update flamapy wheels to the pinned release"
+          commit-message: "chore: sync flamapy wheels with the pinned flamapy release"
+          body: |
+            Automated update of the flamapy-authored wheels in `public/flamapy/`
+            from the [flamapy release](https://github.com/flamapy/flamapy/releases)
+            pinned in `flamapy.version`.
+
+            Refreshed `flamapy`, `flamapy-fw`, `flamapy-fm`, `flamapy-sat`,
+            `flamapy-bdd` and `flamapy-z3`, and rewrote the matching filenames in
+            `plugins.conf.json`. Third-party dependencies and the `z3_solver`
+            wasm wheel are unchanged.
+
+            > Note: PRs opened with the default `GITHUB_TOKEN` do not trigger
+            > other workflows. Push an empty commit or re-open the PR to run CI.
+          add-paths: |
+            public/flamapy/*.whl
+            public/flamapy/plugins.conf.json

.github/workflows/update-flamapy-wheels.yml

@@ -24,4 +24,26 @@ dist-ssr
 *.sw?
 .venv
 */__pycache__
-*/*/__pycache__
+*/*/__pycache__
+
+env/
+
+# Claude Code
+CLAUDE.md
+.claude/
+
+# Local environment variables
+.env
+.env.example
+
+# start_coding.sh local environments
+start_coding.sh
+
+# Flamapy wheels served to the browser are build artifacts: they are
+# regenerated by `make build-wheels` (versions from flamapy.version + the
+# Makefile dep list) and the deploy pipelines rebuild them before bundling, so
+# they are not tracked. The two wheels below are manually vendored and have no
+# PyPI/release-bundle source, so they MUST stay tracked.
+public/flamapy/*.whl
+!public/flamapy/flamapy_configurator-*.whl
+!public/flamapy/z3_solver-*.whl

.gitignore

@@ -25,12 +25,26 @@ EXPOSE 5173
 # Start the Vite development server
 CMD ["npm", "run", "dev", "--", "--host"]
 
-# Stage 3: Production Build
+# Stage 3: Regenerate the flamapy wheels served to the browser.
+# These wheels are not tracked in git (see .gitignore); `make build-wheels`
+# rebuilds them from flamapy.version + the Makefile dep list. The two manually
+# vendored wheels (flamapy-configurator, z3_solver wasm) are copied in from the
+# build context, which `make build-wheels` leaves untouched.
+FROM python:3.11 AS wheels
+WORKDIR /app
+COPY Makefile flamapy.version ./
+COPY public/flamapy ./public/flamapy
+RUN make build-wheels
+
+# Stage 4: Production Build
 FROM base AS build
 
 # Set environment to production
 ENV NODE_ENV=production
 
+# Pull in the regenerated wheels so Vite copies them into dist/
+COPY --from=wheels /app/public/flamapy ./public/flamapy
+
 # Build the app
 RUN npm run build
 
@@ -43,9 +57,12 @@ ENV NODE_ENV=production
 # Copy built files from the build stage
 COPY --from=build /app/dist /usr/share/nginx/html
 
-# Copy custom Nginx configuration, if needed (optional)
+# Copy custom Nginx configuration
 COPY nginx.conf /etc/nginx/nginx.conf
 
+# Copy njs script for the /raw endpoint (UVLHub integration)
+COPY nginx/raw.js /etc/nginx/njs/raw.js
+
 # Expose port 80 for the Nginx server
 EXPOSE 80