Partners involved in development

Each expert is contributing on its field of expertise, thus enabling a mudular analysis tool that can adapt to different needs

University of Seville

University of Seville

Core and SAT

The university of Seville is currently providing support for the core and the pysat plugins

University of Málaga

University of Málaga

BDD metamodel

The university of Malaga is currently providing support for the core and the bdd plugins

University of Graz

University of Graz

Explainations and AI experts

The university of Graz is currently providing support for the operations regarding the explaination of errors in f...

Universidad Nacional de Educación a Distancia

Universidad Nacional de Educación a Distancia

Colosal FM reasoning

The “Universidad Nacional de Educación a Distancia” is currently providing support for the implementation of BDD t...