A Model of the Immune-compatibility using the Install Problem in Computer Science

We simulate the immune compatibility using the Install Problem: The idea is to define a Boolean variable for each antibody. This variable is true if the antibody must be in the immune system. The Install Problem refers to the incompatibility that some programs may have with an specific operative system making it impossible to be installed. The analysis was implemented using SMT-solvers, specifically Z3, and the code was wrote using the commands "Depends On", "Conflict" and "Compatibility check", making it possible to check the antibody compatibility. The programming languages used to build up the code were Z3-Python and Z3-SMT-Lib. The results can be used in systems biology and in the analysis of immunological therapies. As future line of research it could be developed a more complex algorithm to verify the immunological compatibility.