Skip to content

Commit

Permalink
feat: Improve index
Browse files Browse the repository at this point in the history
  • Loading branch information
drorganvidez committed Jul 29, 2024
1 parent ac53f35 commit 5206bde
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions index.md
Original file line number Diff line number Diff line change
Expand Up @@ -17,11 +17,11 @@ Introducing {% include flamapy.html %}, the cutting-edge Python-based tool for A

---

### <i class="fa-solid fa-puzzle-piece"></i> Easily Extensible
### <i class="fa-solid fa-puzzle-piece"></i> Easily extensible
* **Plugin Generator**: Simplifies the process of creating new plugins with a semi-automatic generator, making customization and expansion straightforward.
* **Variability modelling in the wild**: Initially supports cardinality-based feature models, with the flexibility to easily incorporate other types like attributed feature models.

### <i class="fa-solid fa-life-ring"></i> Robust Solver Support
### <i class="fa-solid fa-life-ring"></i> Robust solver support

* **PySAT Integration**: Utilizes the PySAT metasolver, offering access to more than ten distinct solvers. This diversity allows for optimal solution finding across various complex scenarios.

Expand Down

0 comments on commit 5206bde

Please sign in to comment.