QAlloy-F is the fuzzy component of a general-purpose quantitative extension to Alloy, which can be used to design and analyse high-level relational models of various kinds of fuzzy problems.

A pre-built QAlloy-F JAR is provided here.

This repository is organized as follows:

• qalloy contains the source code of the QAlloy-F extension.
• fis2als provides a prototype program that generates QAlloy-F models for fuzzy inference systems.
• benchmark contains examples of models for different kinds of fuzzy problems as well as a benchmarking script to evaluate the tool's performance.