Safira - Performing basic set operations for sets of services


Safira is a tool to perform basic set operations (complement, intersection, union) for sets of services. The service sets can be given as annotated automaton (e.g. operating guidelines) or extended annotated automaton.

Download and Install

Safira is free software and is licensed under the GNU Affero General Public License. Other licenses can be negotiated with the author.

Safira is written in C/C++ and packaged by the GNU Autotools. To compile and install, unpack the tarball and execute the following commands:



make install

For more information, please have a look at the files README, INSTALL, and REQUIREMENTS which are part of the source release.

Note: Safira includes a source code release of Minisat.


A manual is part of the source release. A PDF version can be found here. After you installed Safira, you can get help by executing either of the following commands:

safira --help

man safira

info safira